Bump version to 7.20.0