Implemented experiments in a more clean fashion, so that bob.db.atnt can be replaced by any other verification database.