move files from plugins directory as it seems to be used by new plugin system by Dune (that's weird)

add an exhaustivity parameter to Branch constructor in Machine Code to handle C switch default case optimization in case of a singleton enum

ast modifs and additional arrow_taint phase to retrieve which arrow "protects" / "taints" which variable