Preparing release 0.7.2
Back to development: 0.7.3