Add agda-mode to emacs
Add xbattbar