Implemented thread pool to parallelize computation.

Lists of trees containing trees with the same degree and path sequences are pushed into a queue. A pool of threads pops lists from the queue and processes them in the same way as was done serially before.
Added mutex around output statement to prevent race condition.

Since I don't expect to find one counter-example, let alone several, this is probably an unnecessary safety precaution. Better safe than sorry, though.