Attempt to make init-containers a proper shell script.
Added an auxiliary script to include the mongo shell commands.
Slight change to init-containers to handle a relative path as parameter.
Merge pull request #4 from zyfang/master

updated sim queries json for changed knowrob_vis
Merge pull request #5 from zyfang/master

update sim queries using highlights
Merge pull request #3 from mpomarlan/master

Attempt to make init-containers a proper shell script
replaced auxiliary js file with --eval statements that set the MongoDB indexes from the command line
changed user_db image to PostgreSQL
changed exported volume to the PostgreSQL data folder
Manually merged changes from pull request #2 by volnik, together with some cleanup and refactoring
include PostgreSQL container into startup scripts
add flask-user dependencies to Dockerfile
added postgres container, updated default start script for web app
Pull postgres container in update script
renamed folders in knowrob/docker to match the container identifiers used
cleaned up init, update and start scripts for containers. the start script now checks for all required containers to be available, the init script mostly does the import into mongodb
switched from one user_data container per user to a shared one, where each user has her own subdirectory in /home/ros/user_data/...
create group 'docker' and run the webapp script as user 'ros' instead of 'root' (so that uploaded and created files have the right owner)
import of 'flash' module missing
Adding query for new tablesetting experiment.