Bump version to 1.0

This is a bureaucratic operation so that we can publish a new version to PyPi.