Update mhook link.
contrib/rev2hash.sh: minor cleanup.
contrib/pre-commit.sh: minor cleanup.
web/javascript.js: minor cleanup.
WebUI: add title in the player's buttons.
WebUI: tweak styles.
WebUI: switch to `link rel="icon"`.
WebUI: Use a cleaner favicon.ico.