Travis: Temporarily adapt to Agda-2.3.0.1