Changes

Summary

1. merged
2. accept obscure timezone used in 2011;
3. more liberal parsing for old AFP logs;
4. more operations;
5. more permissive timing data;
6. more permissive for old logs;
7. more uniform regexps;
8. clarified status: started sessions may bomb without explicit FAILED or CANCELLED (cf. in afp-test-devel-2016-01-03.log);
9. clarified parse_build_info: isabelle build output; clarified Session_Status; tuned signature;
10. more operations;
11. more operations;
12. clarified signature;
13. more uniform treatment of settings;
14. clarified modules; CI_Profile: show all settings;
15. tuned;
16. more official legacy status;