Loosen a bit the timeout precision requirement for Travis