Allow editing of non-global font via style preferences

[zwimer]

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