Add Travis configuration for CI