added playback functionality
Merge branch 'indigo-devel' of github.com:knowrob/knowrob into indigo-devel
cleanup, new query
bugfixes, actual buttons in the web interface
bugfixes
layout fix