bot: Removed references to `dart:collection-dev`

also bumped to 0.13.1-dev
cleaned up deprecations
bot_test: clarify behavior of finishes and finishesWith