Rename util to platform
Distribute actions.py out to actors/__init__.py
Extract cartographer structure out as macrostructure
Move conjecture c++ code to theorist
Refactor cmake files
Factor surveyor structure out to microstructure
Remove obsolete print_info command
Move rename concurrent_ to concurrent/ etc.