python get number of sys.argv