Added CommandLineParser and made CEGAR run in its own thread.