web/javascript.js: minor cleanup.
Update mhook link.
contrib/rev2hash.sh: minor cleanup.
contrib/pre-commit.sh: minor cleanup.
player.html: add title in the player's buttons.
WebUI: tweak styles.