In QueryLoggingSolver call flush() on std::ofstream so that queries
get correctly logged if an assertion failure is hit later on.
Merge pull request #21 from delcypher/fix_query_logging

Fix queries not being logged correctly if an assertion failure is hit.