v1.3.0

This release brings a caching interface to MapDB caches. Those can be persistent. An HTTP cache server ist also provided for access to the same cache files by multiple programs.
See the README.md file for more details.