[ moved ] functions of Agda.Utils.Unicode to their single use sites.
[ removed ] obsolete Agda.Utils.Unicode.
[ fix-agda-whitespace ] Added Lexer.hs to ignored files.
[ comments ] Documented different line terminators (lexing).
[ new ] A lens for AlexInput.lexInput.
[ Lexer.x ] Removed unused regex and documented Unicode handling.
[ Issue 1337 ] Fixed by preprocessing non-printable Unicode characters
into a non-printable ASCII character.
[ Issue 1337 ] Test cases for lexing non-printable characters in comments.