Remove the Travis CI configuration

Travis CI is not used anymore on GitLab and is obsolete. Remove it's configuration.