added TODO highlighting in emacs and various tweaks.