maintenance commit

ChangeLog

-  149.  [bug]		jelte
-	bindctl: Check if the user session has disappeared (either by a
-	timeout or by a server restart), and reauthenticate if so. This
-	fixes the 'cmdctl not running' problem.
-        (trac #431, git b929be82fec5f92e115d8985552f84b4fdd385b9)
-
-  148.	[func]		jelte
-	bindctl: Command results are now pretty-printed (i.e. printed in
-	a more readable form). Empty results are no longer printed at all
-	(used to print '{}'), and the message
-	'send the command to cmd-ctrl' has also been removed.
-	(git 3954c628c13ec90722a2d8816f52a380e0065bae)
-
   147.	[bug]		jinmei
 	python/isc/config: Fixed a bug that importing custom configuration
 	(in b10-config.db) of a remote module didn't work.