Add extra settings for servernode

Allow setting the verbose_name and hide_db settings for servers in the phpmyadmin config.inc.php file.