serialize proof-general installs