python3-automat: Finite-state machine module for Python