Added a prototype implementation for an Slip meta-interpreter to be used when measuring trace duplication

This interpreter first statically transforms its input program so (almost) every AST-node is wrapped in a vector.
The interpreter then works on this modified AST