deb pkg: make disco the owner of its home directory.
deb pkg: set up ssh for the disco user.