Added encoding command line paramter to set the encoding of input files