support for "language: agda" in file headers.
some highlighting improvements for agda.