All platforms: Bump up version numbers to 0.9.5.

No need to merge this right away, just do it whenever 0.9.5 is ready for release.