PyDev update site aggregator.

Bundles the following PyDev update site(s):

https://github.com/fabioz/Pydev/releases/download/pydev_10_1_3/

Other mirrors that may be manually used are:

http://pydev.sourceforge.net/pydev_update_site/10.1.3

https://pydev-10-1-3.surge.sh