On user deletion it is now asked whether the user's home dir should be deleted too. Closes #155
conformity adjustments to pull
Merge remote-tracking branch 'cznweb/master'