Rename "builtin config file" to "default config file".

Better explain the use of the additional config files (use "-t <port>.cfg -C <config.file>" instead of "-C <config.file>").