Use the Coq model to provide the Coq editor outline page

This change breaks code folding, and -- because the model doesn't support
working copies yet -- the outline page will now only be updated when its
associated document is saved
Fixed a minor incompatibility with Coq v8.4pl3's ideslave protocol