misc
add Coq AND ProofGeneral (in system MAC)
fix font