lhs2TeX-hl 1.2.2 released

Changelog:

1. Classes are writ­ten to the format file;
2. There should be less "am­bigu­ous op­er­ator" er­rors now;
3. Re­moved the Agda de­pend­ency as it didn't do any­thing with Agda at all.

Hack­age, GitHub.