Merge pull request #15 from ipa-nhg/groovy_dev

Groovy dev
Merge branch 'groovy_dev' of github.com:ipa320/cob_environments into groovy_dev
New empty_world version for groovy
Merge branch 'groovy_dev' of git://github.com/ipa-nhg/cob_environments into groovy_dev