* Use window.onhashchange to speed up <a> handling.

* Android: Back hardware button now goes to previous entry directly.
  Previously it scrolls to top first.