#17 Remove Dependence on MySQL

[Michael Vehrs]

It would be nice to be able to use databases other than
MySQL. This is not too difficult, as the DB package
already provides the necessary functions.