Added a few files for travis-ci