sys_argv.py: Added printing of full, original sys.argv