Bump version to 0.80pre2 (or internally 0.79.2)