JSONCodeEdit: implement clone method so that the widget can be
used with the new SplittableTabWidget