Task Server

- Added 'taskd.server' and 'taskd.credentials' as supported configuration
  variables.
- Added the 'taskd.server' values to the 'diagnostics' command output.
- Updated taskrc.5.in to mention the new variables.

doc/man/taskrc.5.in

@@ -428,6 +428,16 @@ Taskwarrior supports command aliases.  This alias provides an alternate name
 any of the commands.  Several commands you may use are actually aliases -
 the 'history' report, for example, or 'export'.
 
+.SS SYNCH SERVER
+.TP
+.B taskd.server=<server>:<port>
+The server and port address of the task server with which you synchronize.
+
+.TP
+.B taskd.credentials=<org>:<user>:<key>
+These are your server credentials.  Keep this information private and secure!
+Note that these credentials must match the server account.
+
 .SS EXTENSIONS
 .TP
 .B extensions=on

src/commands/CmdDiagnostics.cpp

@@ -199,6 +199,10 @@ int CmdDiagnostics::execute (std::string& output)
       << location.mode ()
       << "\n";
 
+  out << "    Server: "
+      << context.config.get ("taskd.server")
+      << "\n";
+
   out << "   Locking: "
       << (context.config.getBoolean ("locking")
            ? STRING_CMD_DIAG_ENABLED

src/commands/CmdShow.cpp

@@ -180,6 +180,8 @@ int CmdShow::execute (std::string& output)
     " shadow.notify"
     " shell.prompt"
     " tag.indicator"
+    " taskd.server"
+    " taskd.credentials"
     " undo.style"
     " urgency.active.coefficient"
     " urgency.annotations.coefficient"