Don't busy-wait while waiting for coqtop to start
Highlight lines using an ITextStyleStrategy rather than an IDrawingStrategy

This change allows us to replace ProofDrawingStrategy with a stock Eclipse
component, which fixes a multi-platform rendering and performance bug