Annotation enhancements (API and internal)

Some commits related to LUA Annotations, most of it has been tested on the updated ARM port.

Concolic injection is just proposed and up for discussion. It isn't API backward-compatible and we didn't test it extensively.