Updated the embedded snapshot of PIDE

This commit also updates PIDECoqEditor to make it work with some recent
modifications to isabelle.Session
The PIDE Coq editor should print extra status messages to the console

Since this change runs the risk of making the console very noisy, this
commit also adds checks that the selected command has actually changed to
the caret-checking function