Added InterpreterConfiguration to store the configuration of interpreter
(e.g. arguments, verbose...).