Copy experimental agda syntax file (see https://git.reviewboard.kde.org/r/117167/).