proofgeneral: automatically compile required libs