gmp is again default, not cln, for build ID (reverting due to license discussion at Monday meeting)
Merge branch '1.3.x'
Fixes to stats registry
Framework for theory proof generation.  LFSC Proof generation for UF.  Proof-checking work.  Assorted fix-ups related (mostly) to proofs.