some of the hacks to do snap-to on points have been removed, at least for now - they needed major rework to fit in
additionally other customisations added are also removed - this is basically now stock leaflet.draw with edit-mode enabled
- remove size increase for layer chooser - it's large enough already (and matches the size of other android UI elements)
- remove extra padding between layer chooser lines. yes, it'll be harder to click the right line, but smaller screens have it pushed off the bottom sometimes without this)
should fix issues with layer control on mobile, and other improvements
also - the convention for marker filenames has changed from ...@2x.png to ...-2x.png for the double sized ones - so changed our files to match (we had a mix of ...@2x.png and ..._2x.png)
Core changes
* window_management.js => panes.js (clarity, distinction from dialogs)
* Make portal preview use dialogs instead of the large preview "window"
* Use `open' callback instead of `create' callback for all dialogs
* Replace collapse/close buttons with themed buttons inspired by the AP Gain plugin
* Dialogs can now gain and lose focus, with changing title bar
* Tweak the Poslinks window to use dialogs
* Add collapseCallback, expandCallback, collapseExpandCallback, focusCallback, and blurCallback
* Fix http <img> in About dialog that caused Chrome to complain
Plugin changes
* guess-player-level 0.4.1: Use dialogs with titles, typo fix
* portal-counts 0.0.8: Use dialogs with titles, typo fix
* portals-list 0.0.12: Don't hijack every single dialog onscreen, add titles, typo fix
* scoreboard 0.1.8: Use dialogs with titles
ideally, the zoom level should be preserved when locating, perhaps with minimum and maximum zoom levels. this way it'd work well for both low portal density regions and the higher portal density in cities
(i.e. at least zoom level 13, no more than zoom level 17). leaflet doesn't allow for this as it stands, so tis is a quick-n-dirty improvement
