Factor range and load_language out of conjecture.cpp
Factor router out of conjecture.cpp
Got first version of deep conjecturing working
Add pomagma.batch.conjecture python command