Properly setup travis-ci