ivory interpreter: removed until we truely decide to support it (as discussed with Trevor).

Revert this commit to bring the interpreter back, but note that it needs to be reimplmented anyway.