support for build passing timings from Scala to ML;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51218 6425a0d3b7ac11e71d385308fd5966fb9d1ed1b8
recover timing information from old log files;
use session timing for queue ordering;
pass command timings to ML process (still unused);

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51220 e140c8fa485ad5783049b4b3c88324669c281993
read logs from failed sessions as well;
proper output base directory (which is two steps upwards);

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51221 e8ac22bb2b28da803b29e020d7dfc16cbe4b0edf
help JVM to cope with large symbolic structures;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51223 c6a8a05ff0a0594ed7dc0aea922652357aa05d7a
prefer comparison of session timing, if this is known already;
some odd workarounds to prevent crashes due to TreeSet.- sometimes not deleting the element;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51227 88c96e836ed6733e002b22358ded890393530341
prefer outdegree in comparison again (cf. 88c96e836ed6) -- NB: big jobs might hide behind small ones in this naive queuing scheme;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51229 6e40d0bb89e399c7d4fc8d22591aaa1b40564acf
option parallel_proofs_reuse_timing controls reuse of log information -- since it is not always beneficial for performance;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51230 19192615911ecb3958099998f83e292abf69d891
updated headers;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51240 a7a04b449e8bcc48d9b0f68c5c25b2dcc9d5dcd3
more robust load_timings: ignore XML.Decode errors as well;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51244 d8ca566b22b3e5f83c151239b458d81d7172138b
support for POSIX interrupts (bypassed on Windows);

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51250 ca13a14cc52e346191c051aaa1f34b98b00836cb
more permissive File.read_lines, which is relevant for Managed_Process join/kill;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51251 d55cce4d72dde408494bd7fca086e1e67ec113b1
more explicit console interrupt handling;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51252 03d1fca818a434e205a333d3586cd37909cbbd0f
clarified Progress.stopped: rising edge only;
also cancel jobs that have not been considered yet;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51253 ab4c296a1e605bfbfaf11f599d40929655f6f07b
more explicit GUI components for dynamic actions;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51254 5bae6fc0e125dcdbd212ab3274adc155b8ff41ff
more friendly message for spurious InterruptedException, which might still occur due to JVM oddities;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51255 9db9e8c608ea890cfdffe3dc6f44abe8788e5ffa
more robust handling of repeated interrupts while terminating managed process;
NB: InterruptedException should have interrupted status cleared already;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51256 ee836df361ed419157d6f5ac28754e6129d0ed0d
discontinued pointless command category "thy_schematic_goal" -- this is checked dynamically;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51274 cfc83ad52571ad06135bd4cf2bf3476e9854e210
discontinued obsolete 'uses' within theory header;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51293 05b1bbae748db11ce9b9b8023eb38f199d31fc08
discontinued obsolete header "files" -- these are loaded explicitly after exploring dependencies;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51294 0850d43cb355df7e57fd0d6ae0011058ef38634c
eliminated pointless re-ified errors;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51297 d9f3d91208afc666d802e61343615b7b8c977614