Python command line processing