[ agda-mode ] Support for alpha (sub/sup)scripts. By sbleune.
Merge branch 'maint-2.4.0'