Coq and proofgeneral themes

Add color theme for coq (a proof asisstant) and proofgeneral (a frontend for several proof assistants).