Fix the 3.2 database update.
Merge branch 'master' into develop
Cache the result of the proxy.php in the session.
Merge branch 'master' into develop
Hide theme+ dev tool from Contao search index.
Merge pull request #65 from discordier/develop

Hide theme+ dev tool from Contao search index.
Start refactoring of Theme+.
Merge branch 'master' into develop

Conflicts:
	src/Bit3/Contao/ThemePlus/ThemePlus.php
Raise the dev-develop branch alias.
Readd missing dependencies.
Merge branch 'master' into develop
Fix the ThemePlus::getInstance() @return value.
Workaround for mootools issues with dev tool.
Reformat code.
Use json_encode/decode for browser ident overwrite data.
Fix referenced model class.
Fix @return class in phpdoc.
Load StringAssets before storing in session.
Do not use deprecated methods.
Raise the contao compatibility to <3.4-dev