Use System.Console.GetOpt for parsing the arguments