Benchmarking CaosDB

Please refer to the file doc/devel/Benchmarking.md in the CaosDB sources for developer resources how to do benchmarking and profiling of CaosDB.