Update mit-scheme-bot