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