ForeC compiler should add WCRT print out to pauses in the main thread

[eyip002]

The pauses in the main thread do not have forec:scheduler:counter:start and forec:scheduler:counter:end blocks where the observed WCRT is tracked and printed out