Resolve "Renaming across the MARQOV namespace"

Florian Gothrequested to merge
72-renaming-across-the-marqov-namespace into master

Closes #72 (closed) . Now things should have moved into the MARQOV namespace and various redundant names should have been removed:

  • MARQOVConfig -> MARQOV::Config
  • MARQOV::Marqov -> MARQOV::Core
  • MarqovScheduler -> MARQOV::Scheduler
  • MarqovQueue -> ThreadPool::Queue

Merge request reports