Support for Coq 8.11

[anton-trunov]

I have a project I'd like to try mCoq on, but it does not build under anything < 8.11. Are there any plans to support Coq 8.11?

[palmskog]

We hope to support 8.11 at least in time for the presentation of our tool paper at ICSE 2020, but it's difficult to give a more specific timeframe right now. We'll be sure to let you know when a new release happens.

[anton-trunov]

Great! Looking forward to it.