Coq virtual machine project

Andreas gives an update on the current state of the Coq Virtual machine.

Until now there were only informations on Eliots blog available and its good to get a summary of the overall plan now.