Along with the associated new cronjob, this allows
user sessions expiration without a custom script.
* While there, sort tools in sogo-tool output
Monotone-Parent: 73baf2c24acbb1fb98296fc8ab448b3b3c5ba7a7
Monotone-Revision: 858274c7be3ad2a6383c2f85c8ad10907bb43292
Monotone-Author: jraby@inverse.ca
Monotone-Date: 2012-04-04T20:14:52