Compatibility with future Coq 8.16

Adds compatibility with current Coq dev (future 8.16), loses compatibility with Coq 8.8 and Coq 8.9

First release of bigenough

This is a small library to do epsilon - N reasoning.