Changes for move to Jenkins

The regular build for this project is being moved to a Jenkins
instance.  This change removes the Travis-specific code in it.