updated knowrob dockerfile, let's try...