fork of KDE's Kate with Agda syntax file