Preparing release 0.5.12
Back to development: 0.5.13