Release for Coq 8.6

Coq 8.6 support.

v1.1.0

• Definition for creating ILogics using isomorphims.

v1.0.1 for Coq 8.5pl1

Update dependencies and fix some 8.5pl1 incompatibilities

v1.0.0 for Coq 8.5

This is a 1.0 release.