Generalize EqdepFacts

The generalized versions are names *_one_var.  We preserve backwards
compatibility by defining the old versions in terms of the generalized
ones.

This closes the rest of Bug 3019, and closes pull request #6.
sed s'/_one_var/_on/g'

For consistency with ChoiceFacts
Debug RAKAM
Configure.ml creates metadata to annotate MacOS binaries
Distributed binaries under MacOS are signed.
Add t-jagro to .mailmap
Prove forall extensionality