Adjust to the new behaviour of the String.substring methods in Java 7

String.substring used to be a zero-copy operation, but -- as of Java 7 --
it isn't, which was utterly ruining the performance of CoqBuilder (and of
the CoqEditorHandler.getNextCommand method). This commit introduces a new
Substring class to compensate for that change