update res/times with running times of -fcoarray=single version
tree93a0403c7b00c721e680712b38f90cee085632cb
-rw-r--r-- 2059 Makefile
-rwxr-xr-x 1857 measure_times.sh
drwxr-xr-x - res
-rwxr-xr-x 2270 run.sh
drwxr-xr-x - src