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