Update travis_exec_and_print_time.sh