added command line support to liquid-fixpoint