Filter for test/Benchmarks

[JaroslavTulach]

Pull Request Description

With herein proposed change one can pass an optional filter to enso --run test/Benchmarks to execute only groups and specs that contain given string in its name.

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

• The documentation has been updated, if necessary - done in 59901e4
• All code follows the
  style guides.
• All code has been tested:
  • Code was manually tested

[JaroslavTulach]

enso$ enso --run test/Benchmarks/ Computing_Proxy
Found 1 benchmark suites, containing 2 specs in total.
The minimal estimated run time based on configurations is 24s.
Found 2 cases to execute (ETA 24s)
Benchmark 'Vector_Array_Proxy.Sum_Computing_Proxy' finished in 12207.738 ms
Benchmark 'Vector_Array_Proxy.Sum_Vector_relying_on_Computing_Proxy' finished in 12028.108 ms

[hubertp]

Missing documentation in docs/infrastructure/benchmarks.md?

[Akirathan]

Nice quality of life improvement. Please add docs either to benchmarks.md or attach a doc comment to the main method. It is not entirely clear how the filter parameter should work.