Remove Travis-CI configuration