Loop annotation support

Added basic support for loop annotations. The meta-interpreter should
now be traced whenever a user loop is encountered.
Extended loop annotation support

Tracing is now stopped when a loop is closed. A notification is
displayed when the interpreter comes across an expression that has
already been traced