Initial handling of tombstoned/upgraded rooms
With the new behavior, it should be that:
- Having an outdated room ID for the main room in the bot's parameters will have the bot join the successor room upon startup.
- The bot will always join the predecessor room upon startup, if it has one.
- Greetings will consider the predecessor room, switching to the rejoined message if the user was in it before.
- More single syncs are done at startup, to make sure things are up-to-date when doing all of this and improve robustness on joining new rooms.
This was tested a bunch in #bots:flip.earth, so I am fairly confident it works as expected. This would solve #35 (closed).
Edited by Andrew Conrad