added doc_display();

added db_to_html.php, which currently contains a very rough form of
doc_display();
minor changes to db_functions();