* Jenkins: don't abort older jobs in master/devel * same for Jenkinsfile.benchmarks
* Jenkins: run benchmarks * don't exit the workspace * try calling the benchmark plugin from the config file * pass all params * separate Jenkins job for benchmarks