Upgrade to Eclipse 2020-06

[lwrage]

• Update setup to use Eclipse 2020-06 repository
• Update versions of used features where necessary (Sirius)
• Update target and product
• Update site URLs in repository pom
• Update p2mirror script
• Update mirrored repositories on build server
• Update developer setup instructions
• Post instructions on google group