Version bump to 0.1.2
Actually deploy to PyPI in script
Ignore local build of docs