get_times.sh to measure query time for sql files