[misc] Tweaking Travis: enable batch mode to reduce the log size