Changed README to reflect upgrade to Agda 2.4.0.