[Agda] update dependency information on haskeline

[Adam Vogt]

Hi, I got agda2 to compile from darcs with haskeline-0.6.1.3, so I suggest 
extending the range of haskeline versions required. This would make it 
easier to build agda2 because the earlier versions of haskeline would take 
some effort to compile.

Thanks,
Adam.