Adding a required option in the time_wrapper.sh script...

...in order to provide a more useful output file name for the `/usr/bin/time` command.