multithreading version of bddem.c, only pita working
first version of multi thr em
compiles
first prolog version
working version, tested on ai_train and hep1
new slipcover version with multithreading support, single file