remove the old "benchmark" submodule from '.gitmodules' (previously renamed to "timer" module)