Let travis push tagged artifacts to github releases