Updated NEWS and version number
Various fixes for distcheck
Post-release version bump
Merge branch 'release-0.1.2' into develop