Configuration for Travis-CI added

We should use Travis CI to check the result of our builds.