On user deletion it is now asked whether the user's home dir should be deleted too. Closes #155
conformity adjustments to pull