Updated exercises for the Map Spring School

• For Coq 8.4, ssreflect 1.4 Map-exercises-1.4.zip (updated on June 12, 2015)