Better cmake-based boost finding
Better explanation for the --sql flag
Adding an --sql option for NOSTATS, too
Don't auto-disable stats from main.cpp, let solver.cpp handle that
Anything that's above 2 for --sql forces SQL