#6 PHP5 fix for navbar.php

[Gary Oberbrunner]

With PHP5, the navbar just shows many copies of the
docs nav entries (Help, About, Online Docs). This is
due to some reference changes in PHP5 which cause the
elements of the array to refer to the same object,
always getting the last value.

The enclosed copy of navbar.php adds 'unset ($c);'
lines before each section, which causes php to avoid
the implicit referencing and copy the data.

-- Gary

[Gary Oberbrunner]

navbar.php