Add instructions from @unibrew describing Travis CI setup