Task::onKill(): exception fixed
Added a prototype of VirtualTrace.
Not necessarily we need to write the trace in a file!
Merge branch 'master' of github.com:glipari/rtlib2.0
Reintroduced "virtual Instr* getInstruction() const;"