also fixed console interaction in non-dockerized web interface
host and port of the mongodb instance to be used can now be configured by environment variables MONGO_PORT_27017_TCP_ADDR and MONGO_PORT_27017_TCP_PORT (which are automatically set when running knowrob inside a docker container linked to a MongoDB container)