Fix filter() function parameter in jquery externs

This PR suggests to fix the signature of the jquery filter parameter; the function callback takes a number and an Element in argument, not only a number.

See http://api.jquery.com/filter/#filter-function