Merge pull request #602 in MEL/upperware from ZPP-for-Melodic to rc3.1

* commit 'dc057039': (114 commits)
  adding logging
  docker configuration for mcts-solver
  fixes after review
  changing the import in mcts solver, fixing imports
  fixes in packaging
  deleting cp_sampler and testing module which is not needed
  merge with main branch
  minor fixes
  Changed line memoryLimiter to better clarify what method does.
  Removed unnecessary assertion.
  Changed decision on which nodes are kept in queue to clarify what code does. Now all nodes are in queue.
  Removed whitespace.
  Changed the way nodes are removed from queue and the way whichNodeToPrune works (now it doesnt remove node).
  Memory limiter queue control when deleting empty solutions.
  Fixed comment in NodeImpl.
  Code style fixes according to Tomek's review.
  Some more fixes according to pr review.
  removed redundant files
  added tree printing output to gitignore
  Added exception throw when solution is infeasible
  ...