Bump version number to 0.0.12.