Update version number in preparation for publishing, and tweak travis config to help identify issues @ travis.