Navigation needs to be updated to use build_navigation()

• line 3767 of lib/weblib.php: call to debugging()
• line 37 of theme/formal_white_bgu/header.html: call to print_navigation()
• line 2773 of lib/weblib.php: call to include()
• line 113 of course/category.php: call to print_header()