Added support for parallelism when building buchiautomatons