A draft bytecode interpreter in C.

This in untested so far, but I hope to be able to use it in benchmarking
to get a coarse understanding of how much of performance relies on the
ML->bytecode compiler and how much on the bytecode->x86 compiler.