backend: cleanup the example configuration
- drop the unused "dist_git_url" config option
- drop the unused "exit_on_worker" config option
- drop unused "verbose" config option
- document tht "consecutive_failure_threshold" config option
- document the "ssh.builder_config" option
- document Redis DB config options
- white-space "style" fixes
- document the "frontend_base_url" option