Player Tracker: Use the portal name from chat

Uses the portal name function from the chat listing, which, for now,
renames the US  Post Office portals so it doesn't look like.

20m ago  US  Post Office
25m ago Some portal
35m ago  US  Post Office
55m ago  US  Post Office
Merge pull request #107 from vita10gy/po-tracker

Player Tracker: Use the portal name from chat
Doh!
Merge pull request #109 from vita10gy/po-tracker

Doh!
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)