Tabindex Normalization for 1.3

I just attached a patch for ticket <a href="http://dev.jquery.com/ticket/3649"> http://dev.jquery.com/ticket/3649</a> to fix getting and setting tabindex in IE. I'm hoping the patch can be reviewed and committed for 1.3.