Merge pull request #41 from clinty/master

Fix typo in list append operator in pcre-light-using code.
Drop pcre-light flag: it does not handle unicode properly.
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.