add financial todo keywords
Remove idris-mode redefintion

Idris-mode now derives from prog-mode so redefinition isn't needed.