Merge branch 'master' of https://github.com/molgenis/molgenis
Merge branch 'master' of https://github.com/molgenis/molgenis
added some new tools
Merge pull request #1122 from RoanKanninga/master

added some new tools + renamed file
Merge pull request #1125 from dennishendriksen/master

Fix catalog search bugs #1123 #1124
Merge pull request #1126 from dennishendriksen/master

Fix 'no variable' case issues #900