Bump up version number

This way it can be distinguish from the Pypi version.