Add a display option to hide element names

Refs https://gitlab.com/arkindex/requests/-/issues/574

Please add an option in the "display" menu while browsing elements to hide all the element names, and thus gaining a lot of visual space.

The toggle button should be named "Compact display"