Important Change

library.php is the main page of our GUI.  the user selects a
authorization level (librarian, clerk, borrower) and is redirected to
the appropriate page (librarian.php, clerk.php, borrower.php).