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'
Merge branch 'master' into add_zip_support_to_webapp_backend