Release 0.0.25.

See #194.
Merge branch `release-0.0.25` into `master`.