* put nav_entries in a div so they can be hidden, add config option, no labels yet
* add English text for hide_nav_entries, choose better name
* Update conf.php
add comma to last item
* hide nav_entries by optionally not rendering in normal.phtml
* fix logic, remove containing div
* apply phpcbf to ConfigurationSetter.php
* Make navigation buttons options positive
And add TODOs for i18n, and add default config.