Install/doc tweaks; bumping ver to 0.2.5 for release.