RezkCompletion now works with coq 8.4 patched

The version of Foundations2 used was 9e4e62e7964189217baec0e602f153e9a71ca8a0

The version of coq used was 721167c315dba3d57e83cc4a2bc1cdd7b8bef62e