Allow checkers results to be delayed
When checkers run, they create markers on the resources so results are visualized in the Problems
tab.
The process of marker removal/creation is expensive if there are hundreds of results to report. The idea is to postpone the creation of the markers at the end of checkers runs. So messages are first collected and then processed when ready.