Fix a stupid mistake in an installer.
Merge branch 'master' into debian
Depend on Kerberos.
Fix an incorrect old entry while we can.
Changelog entry for 0.9.
Provide a Debian copyright file.
Add extended description.