Use the dynamic-fonts package to setup fonts
Ignore cache from the pcache library
Update ProofGeneral