Incremented the version number to 0.1.2dev.