Update version numbering for the v0.1.2 release