PyDev update site aggregator.

Bundles the following PyDev update site(s):

https://pydev-7-2-0.surge.sh
A mirror is also available at:
http://pydev.sourceforge.net/pydev_update_site/7.2.0