Adding files needed by travis-ci