Only call CoqModify from a coq session, which prevents errors when the
user forgets to run `UpdateRemotePlugins` and edits unrelated files.
Use coquille#stop() instead of calling CoqStop() directly when session
ends.