add a configuration for travis CI