Travis config

The missing travis config