travis-ci configuration file added, and makefile modified