Clean a bit the progess view and don't submit duplicate build jobs
Fix #658 : Avoid removing backend errors during startup full typecheck