Add configuration for other DB backends

[rjust]

Defects4J currently uses CSV files as DB backend, which are not adequate for all purposes. DBI supports various DB backends, but dbi:csv is currently hardcoded. Also, we should eliminate all textual access to CSV files and make the whole framework DBI driven.