Update mapbox + leaflet-hash JS libraries.

Also allow a couple more zoom levels of the base tile layer, to make
it easier to see street details.
Update npm dependencies, install new cleancss and minimize base.css
Add an anchor per nickname to the leaderboard to allow direct lookups.

For example https://location.services.mozilla.com/leaders#hannosch