Clone of Agda from http://code.haskell.org/Agda using https://github.com/purcell/darcs-to-git