update syntax to Agda 2.4.x
trying installing agda from ubuntu utopic
Merge pull request #74 from ilya-klyuchnikov/agda-2.4.x

update syntax to Agda 2.4.x