Bump version number, push to PyPI as 0.1.5.