Mod Highlighters

Issue #375. Also type check in weakness highlighter
Make it not so shieldy
Added status bar for mobile version.
Bugfixes.
Merge pull request #387 from vita10gy/mod_highlighters

Mod Highlighters
Merge pull request #391 from hastarin/mobileStatusBar

Mobile status bar
order requests to inprove the odds of getting missing tile data when some requests are likely to timeout, by putting uncached tile ids at the start of the request, cached (but stale) at the end
map status improvements, reporting status of cache. basic 'error/out of date/up to date' message, and tool tip with tile counts
for #394
add optional parameter sto allow chat code to specify it's uncertain if a name is right
needed for #393 (but not actually a fix)
comment out 'redeem code' input box
(instead of #371 - didn't want to actually delete it as it may return)
cache improvements
- min and max size - expire early if over max size, don't expire if below min size
- increase max cache age to an hour
don't treat names resolved from old chat messages as certain - only new ones
this prevents people having a name change from getting inconsistant results as old/new messages are seen
fix #393
add link amp mod range calculation to portal range
(it involves some guessing, as only 'rare' ones have been seen so far)
alternative to #392
part of #374
simplify logic for grouping map data requests into buckets - zero advantages seen with various different grouping methods tried

reduce the bucket size limit - same number of requests at normal resolutions, and less timeouts (but more requests) at higher resolutions
display portal mod stats in a more useful format
(however, it doesn't take account of how multiple mods of a type stack - some are linear add, others multiply percentages)
plugin to disable map zooming with the mouse wheel
fix #398
update website for 0.12.2 release
bump version in preperation for the next release
fix typos
Merge branch 'master' into chatHighlight