Remove obsolete travis config line