* plugin_debug.ml: rename
* plugin_coverage.ml: new
* interpreter/instructions.mli: estet
* bytecode_loader.ml: estet