Update port and index_port values if missing from configuration

files.  This and the documentation update fixes issue #1


Former-commit-id: 8fb388078e53bd84caf9344deab47c3b87df0b4d

server.js

@@ -798,6 +798,10 @@ function loadConfiguration() {
 	userConfig.pointerWidth   = Math.round(0.200 * userConfig.totalHeight);
 	userConfig.pointerHeight  = Math.round(0.050 * userConfig.totalHeight);
 	
+	// Set default values if missing
+	if (userConfig.port === undefined) userConfig.port = 443;
+	if (userConfig.index_port === undefined) userConfig.index_port = 80;
+
 	return userConfig;
 }