Added travis-ci support (but it is not supposed to be working)