Support filtered decks

Adapt both hooks to work with filters (dynamic decks)

This is not the only feature:

* Fix a bug that would stop the sync hook prematurely
* Rewrite how review hook reversal work: way less error-prone, which is why there is no more notification
* Use Anki exports rather than my own definitions for Revlog types and buttons/answers