more dynamic task system

[c-cube]

• par_map should take a pool as argument, not create one
• dynamic scheduling of tasks such as:
  • run proof checker upon unsat
  • run program for finding expected status

[c-cube]

see #15 and #23: have a table used as an atomic queue of tasks (so it's easy to push new tasks in it).