Bump version numbers for 0.8.5 release