v0.4.1

This patch contains a fix in witness backtranslation and a small fix for printing satisfiability witnesses.
Additionally, this introduces an experimental feature which allows Golem to run several engines in parallel, each as a separate process.