Add getters/setters in preamble/slicer, bring them out to radio.py via pubsub.
Subscribe to *all* the servers.
Fix introduced CPU consumption bug.
Non-functional cosmetic changes.
Publish some SQL notifications. Still TODO: issue list of new ICAOs. Might use a separate thread/publisher for that.