Travis configuration for CI.