Bump maint-0.2.5 to 0.2.5.7-rc-dev
Merge remote-tracking branch 'origin/maint-0.2.5'

(Do an "ours" merge to avoid taking version number changes)