Merge upstream agda syntax file from ktexteditor.

See https://projects.kde.org/projects/frameworks/ktexteditor/repository/revisions/master/entry/src/syntax/data/agda.xml