remote server start and mixed workload benchmark

added remote server start and stop in benchmark.py
note: currently I expect authentication by authorized_key on the server side!

additionally, a mixed workload benchmark is added that issues queries of a predefined query set - this still needs some cleanup and can be ignored by others than me ;)