Travis: add travis-ci configuration.