[Agda] UTF-8 issue in Agda which is built by the latest GHC 6.10.1

[IKEGAMI Daisuke]

Hi members,

Recently, GHC 6.10.1 has been released.
  http://www.haskell.org/ghc/
  http://haskell.org/ghc/docs/6.10.1/html/users_guide/release-6-10-1.html

It may the important change for Agda that now ghci uses editline (BSD
license), rather than GNU readline.
  http://www.thrysoee.dk/editline/

Unfortunately, the current editline does not support UTF-8. (see the
page of editline at Bugs section)

Because other changes about 6.10.1 are nice, and from now GHC seems not
use GNU readline, Agda may need the GNU readline wrapper for
supporting UTF-8. (Otherwise hack editline to support UTF-8)

ike