Revert to simple Travis configuration