User value_expression instead of parsing
Handle details of next line
Deal with stepping out
Activator has moved
Force deselection of all the items in the tree to avoid exception
Use proper setter to make marker transient
More tests for stepping and breakpoint
Add cbmc icon for CBMC process in debug view
remove unecessary project
Add loopsTransform.xsl to the binary
remove unnecessary icon reference
rename id for extension contributing the image for the CBMC launch
config
Give focus to the view
Make sure the CBMC process is actually flagged as terminated
appropriately

Also configure the ILaunch / IProcess in order to present various
properties about the execution in the properties page associated with a
launch.