.travis.yml: remove 'touch .devel'