removed some locks (synchronized methods).
IDE freeze on coqtop noreply seems to be gone.
middle button shortcut