Travis release on tags only and remove Docker push

The manual tagging is necessary to sync up the releases of the two
different CIs.