Travis releases

In theory, after integrating these changes, we make a release by simply *making a release*, and travis will build and attach the executable for us.