Use Travis CI

Travis aborts if we generate either too much output (> 4 MB) or
too little (nothing for 10 min), so wrap the build with some
Python...