I used a wrong data set, so the queries with the `CounterID = 62` filter
were completely off. Others are more or less the same.

Also fix the queries shown on web site to match the real queries.

* rm outdated nginx config

* get rid of most outdated markup of benchmark.html

* reformat js

* get rid of ru comments + wrap benchmark.js in a function call

* split benchmark results into separate files

* adjust links to benchmarks

* refactor hardware benchmarks as well

* adjust links

* fix filtering for hardware

* additional markup tuning