Bump version number for Travis-CI