Add shortener to permalink window
Use proj4js from GitHub
Merge pull request #551 from camptocamp/shortner

Add shortner to permalink window
Merge pull request #552 from camptocamp/github-proj4js

Use proj4js from GitHub
Upgrade Styler submodule
Merge pull request #553 from camptocamp/upgrade-styler

Upgrade Styler submodule
Add time sliders
working time slider
doc + move file
slider icons, time tip