Added permutation counter to default on-line compiler
Bugfixing for UT library support
Fixed path to semihost unit test sources. Recompiled to check and test