Bumped version number for v0.1.2 release.