Move theorist.conjecture into cartographer server
Clean up theorist & atomic writing of files in batch.py
Integrate theorist with explore workflow
Update architecture diagram to reflect cartographer