re-added the travis config file that mysteriously disappeared