Create FmcToCoq.js

[acorrenson]

Hi all 👋 ,

I started to work on a Core to Coq compiler. This is purely experimental but I thought it could be nice to be able to translate Kind's kernel down to a well-known and trusted proof assistant! This could increase Kind's trustworthiness!

Of course, for theoretical reasons, this compiler can't be complete but I have good hopes that we will be able to compile a nice subset of Core to valid/typechecking Coq.

This PR is still a work in progress, but I opened it just to let you know that I was working on it ;)