Removed the concept of "weirdness" from the Coq Makefile generator

As all projects have an abstract load path entry for the Coq standard
library, the generator has always considered them to be weird, so there's
no reason to keep the simple case
Made the PIDE editor render Coq processing annotations

This is really naïve at the moment -- annotations are always discarded
instead of being updated, and all annotations are always replaced,
regardless of how big the document change was -- but it's a start
Use the Protocol.Status object to decide whether a command is finished
Don't print PIDE goal messages to the console