add config file, move server and tab specification there

Add conf/conf.php which includes specification of servers, tabs and
index page sections.  Modify index and dashboard.php to use these.
rename conf.php to conf.dist.php