bind F5 to load file in ghci. New comment function. Many fixes to themes, cleanup load-path's.