Include ProofForest files, add ProofForest to EquationPath functionality