Create benchmarks for TVB 1.4

We should have benchmarks available with every public release.
It is fine if the benchmarks are made public with or shortly after a release.
Even if numbers eventually might get a bit worse from one version to another, we should still do this, as it is good for transparency.