New plugin add a zoom slider to map
No more dist folder, don't need to add image to it
Nits and fixes
Merge pull request #110 from Fragger/zoomslider-plugin

Zoomslider plugin
developer options: added possibility to use external script in app
fix chat player highlighting
- clicking on names now inserts them
- fix: if your name was @mentioned, followed by another @player, it didn't mark the line
added IITC version info to settings
fixed indentations and trailing whitespaces
mobile: set idleTime to max, when running in background
    * reduces background traffic
replaced (String == String) with String.equals(String)