WIP: Use Travis to push release builds to github