[tools: Add SQL reporting.
Vladimir Still <xstill@fi.muni.cz>**20131026083011
 Ignore-this: 17896c05d0ad814ba15c3d0f7d61cee7
 New report option is following:
 --report=sql:<table>:<ODBC connection string>
] hunk ./tools/divine.cpp 259
-                "plain:<filename> (plain into file)" );
+                "plain:<filename> (plain into file),\n"
+                "sql:<table>:<ODBC connection string> (write report to database -- see manual for details)" );
hunk ./tools/divine.cpp 468
+            } else if ( o_report->value().substr( 0, 4 ) == "sql:" ) {
+                std::string sqlrep = o_report->value().substr( 4 );
+                int pos = sqlrep.find( ':' );
+                std::string db = sqlrep.substr( 0, pos );
+                std::string connstr = sqlrep.substr( pos + 1 );
+                if ( connstr.empty() )
+                    throw wibble::exception::Consistency( "No connection string given for report." );
+                rep = Report::get< SqlReport >( db, connstr );