vendor/awk: upgrade from 20200612 to 20200702 vendor/AWK
drwxr-xr-x - contrib