Travis

Some updates to the travis configuration.