Automatically push release tags from Travis

When a test suite passes on the master branch, create a release tag with the
Travis build number.