PROCESS: Continuous integration (on Travis.org).