Use variable to point to CBMC executable #55
Description
The launch configuration currently requires a full path to the CBMC executable which limits their "shareability".
In order to alleviate this issue, it should be possible to use variables like it is done in other launch configurations.