A chef recipe to install Proof General