Use a more straightforward Travis config file