Drop hg support.
Add Cryptol specification of base64.
Update README.
Add proof infrastructure.