Version 3.0pre3

I merged the library support and the faster caching into develop. Additionally,
the complete IDEA config is now not on the repo anymore. There was too much
overwritten settings in the past due to different system. The necessary config
has now its own subfolder. See the README therein.