Add travis configuration
Update travis to push release branches

If a build succeeds on a release-.* branch, the branch is pushed to
master.