Add travis-ci checks