rm dead comment code
rename ajax overlays to url overlays
introduce jsUri

I used a [fork by Denis Sokolov](https://github.com/SlikNL/jsUri/)
and used uglify-js to minify it.

We decided against [URI.js](https://github.com/medialize/URI.js)
because it is too large.
improve setting format to .overlay in overlay urls
trigger overlay on pageload
validate overlay path
manipulate addressbar when overlay state changes
error message for non-js users
Work around NoneType error in build.sh:bootstrap (Fixes #522)
Fix html errors in milestone edit form
Merge pull request #555 from xi/feature-553-link-to-overlays

Feature 553 link to overlays
fix overlay mask
Merge pull request #506 from xi/feature-remove-dead-comment-template

rm dead comment code
Merge pull request #558 from nidico/feature-365-sort-effect-badges

Allow badges to impact mixed sorting (fixes #365) (NOTE: Reindex solr!)
Allow badge deletion (fixes #105)

This allows to delete the different kinds of badges from the badge
overview.