Some small cleanup

* Reformat jquery.extensions.js
* Put the right mime type on my favicon