do not consider 'it' a namespace theorem

tactictoe: preparsing of theorems and tactics

remove trailing whitespaces

caching theorem data from previous theories

more timers + light symweight

timers for profiling nearest neighbor predictor

removing thmlintac and ttt_exl + updating thmdata and tacdata

remove trailing whitespaces

parallel instead of sequential savestates

tactictoe search without references

removing new mcts search + removing hide_out

before removing new mcts search

ttt_record_thy now include ttt_rewrite_thy in tttUnfold + search status for MCTS

fixing tactictoe export + checking if an expression is a theorem from its type in the namespace

adding forgotten files