Version bump for 4.20 Needed by https://git.eclipse.org/r/c/platform/eclipse.platform.resources/+/175846 Change-Id: I026076a5da1f16b136daab23133ca55e61d453ac Signed-off-by: Alexander Kurtakov <akurtako@redhat.com>