show indicator whenever Coq is busy