boot2docker 1.3.1

Updating `boot2docker` to v1.3.1 -
https://github.com/boot2docker/boot2docker-cli/releases/tag/v1.3.1
boot2docker: update 1.3.1 bottle.

Closes #33792.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
pidgin: merge in finch formula.

Merges Finch into Pidgin. Offering this as an alternative to #33699.
pidgin: update 2.10.10 bottle.

Closes #33702.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
coq 8.4pl5

Version bump.

Closes #33653
coq: add 8.4pl5 bottle.