mCoq 8.10.0 release

Updated release of mCoq with minor bug fixes and updates. Supports Coq 8.10 and depends on SerAPI 0.7.0. Features the following changes:

• Fix Java version detection on macOS
• Improve documentation to be more user friendly

mCoq initial 1.0 release for Coq 8.10

Initial release of mCoq supporting Coq 8.10 and depending on SerAPI 0.7.0. Supports fast generation of mutation reports using a mode based on parallel checking of mutants, shown to outperform other modes in the paper "Mutation Analysis for Coq", proceedings of ASE 2019.