Delete db_options.c

File no longer used.