Add result filtering to history screen

[anhappdev]

Add a filtering feature to the history screen so we can filter old results by different criterion.

To keep the list of issues clean and manageable I will close the other child issues related to result filtering but list them here for reference.

• Move selected backend field in results from benchmark data to top level #569 → Not needed anymore since the app now applies filtering locally.
• Add filters to online results list #490 → Online and local result lists now use the same screen / UI elements.
• Add filtering by OS type to online screen #505
• Add filtering by backend to online screen #506
• Add filtering by date #546
• Add filtering by manufacturer #542
• Add filtering by device model #543
• Add filtering by hardware (SoC/CPU) #547
• Filter by benchmark type

Related:
#587