Various changes to the benchmark tool

This adds the missing copyright header (thanks @anthonywong), makes the tool actually benchmark queries (what a stupid mistake ^_^), etc...