Various improvements from Shu-Chun Weng:
- Customize coqtop options: read from CoqIDE_coqtop_option variable
- Check and show background goals when the foreground ones are all done.
- ProceedUntilCursor reads the character under the cursor, too, so you can park the cursor on the period and still get the last command in.