Update version history for 5.0.2

The release date probably needs changing, but I can do that once we know for sure.