Add Agda configuration for Emacs.
Tweak Emacs theme settings for console use.