Update math/proofgeneral to version 4.1_7