Release 3.0.0pr2
Bump .alloy.json version