various fixes
Merge branch 'indigo-devel' of https://github.com/knowrob/knowrob into indigo-devel
Merge pull request #36 from hatguy/indigo-devel

Indigo devel - experiment playback