bigmc/bigmc — pull request #2 by ale-f (2012-04-16 08:57:02+00:00)
Title: Improve pipeline support

These two commits make it easier to use BigMC noninteractively.