Search fixes

* prevent unwanted jumping to top with empty query (seen on Firefox)
* allow URL hash modification (for bookmarks, currently delayed until
next update)
Statistics overlay for projects
Merge pull request #5 from dcsaszar/addons

Stats Feature + Search Bugfix