Add ProofGeneral
Remove japanese font