Decide on the repository layout for the benchmarks

Will the benchmarks be part of the top-level repository or should we add a new sub-repository for benchmarks.

Update get_sources.sh to handle the new layout.