Added command line options to SeInterpreter.