Allow editing of non-global font via style preferences

### Description

The user should be able to change every font we store in `Conf` internally.

Prerequisite PRs:
- [ ] https://github.com/angr/angr-management/pull/819

This can be done by:
1. Allow users to select fonts via preferences: In `preferences.py`, add to `self._font_options` the a line such as `QFontOption("Tab View Font", "tabular_view_font", self),`.
2. Have angr-management update fonts when the fonts in `Conf` change; this can be done (generally) by replacing `a.setFont(Conf.foo)` with `Conf.connect("foo", a.setFont, True)` in most situations; that is connecting the font-change signal to the font-setting function.

### Alternatives

_No response_

### Additional context

Meant to supercede: https://github.com/angr/angr-management/issues/744