Update version for release 0.1.12
Update version for development 0.1.13