Import PCRE ByteString backend (the PCRE String backend does not support unicode properly).
Fix string bytestring conversions, enable utf8 in compiled regexp.
Copy experimental agda syntax file (see https://git.reviewboard.kde.org/r/117167/).
Update cabal.
Mention Agda in readme.