tvlbot: notify about new messages on public-inbox

#239
Opened by sterni at 2023-01-07T18·40+00

We can probably take inspiration from spectrumbot, but not outright copy it, since the incoming mail server is not controlled by us.