fixup futures
add -coq-slave command line option (TODO)
fixup stm (slaves) (FIXME, debug code around)
get rid of closures in global/proof state (WIP)
is libstack really needed to run Coq (OPEN)
augment test with something simple