re-adds proxy
Merge branch 'linda' of https://github.com/LinDA-tools/r2r-designer into linda