Updated the embedded snapshot of PIDE

This new version changes the way that the path to the coqtop program is
given, so this commit also adapts PIDECoqEditor to this change
Print the contents of the PIDE syslog when session startup fails

Previously the code just printed "Oh, no", which wasn't terribly helpful