Coq-Elpi 1.0 for Coq 8.10

This is the first public release. It includes a couple of tutorials and a few examples. Defining commands is well tested. Defining tactics works but did not receive much testing so far.