Release new version

Merge development into master with new version number to make recent changes available for installation in docker etc.