Fix mismatch new VS new[] and delete VS delete[]
Prevent the preemption timer to run when termination is requested

* The call to cancel() might not work if it was about to expire.
Merge pull request #196 from eregon/delete

Fix mismatch new VS new[] and delete VS delete[]
Merge pull request #197 from eregon/mvm

Prevent the preemption timer to run when termination is requested
Fix the shape of missing dictionary key errors

* Now matches Mozart 1's and produces a nicely formatted error.
Merge pull request #201 from eregon/dictKeyNotFound

Fix the shape of missing dictionary key errors