Bump version to 0.2.5.4-alpha.

Probably releasing within ~22 hours, pending testing
format_changelog.py now formats the first section, in-place.