Delete trailing whitespace in src/

conjecturing + parallel translate

Promote more Isabelle concurrency code

Portable gets slightly richer with

make_counter : {inc:int,init:int} -> unit -> int
syncref : 'a -> {get:unit->'a, upd : ('a -> 'b * 'a) -> 'b}

Under Moscow ML these map to obvious operations on references. Under
Poly/ML these map to synchronised variables that are operated on
atomically.

holyhammer: creating a global counter to prevent the cache from creating unsound translations

conjecturing: using gnu parallel instead of parmap

parmap: avoid looping behaviour by catching exceptions

conjecturing: integration of eprover calls

conjecturing: conceptualization + evaluation function

conjecturing: work in progress

share code between tacticToe and holyHammer + start exp with conjecturing

holyhammer: finalizing port of the translation to SML + adding vampire

tactictoe: update evaluation functions

tactictoe: including abstraction during recording

tactictoe: faster recording (training done separately)

tactictoe: reverting to e94 commit + adding semicolon fix (untested)

tactictoe: different name for its theory

remove trailing white spaces

tactictoe: do not try to re-record theories unless ttt_clean_all is called

saving and restoring files in case a tactictoe script overwrite them (unlikely)

holyhammer: using same namespace tag as tactictoe

tactictoe: renaming hhs prefix to ttt (rebuild necessary)