Feature release

• ws_allocate supports defaults in ~/.ws_user.conf for mail address, reminder, groupname and duration.
• ws_share to share files with other users
• updated user documentation
• bugfix for problem mit ws_allocate -m -x workspace 0 to change mail address of existing workspace
• debian packaging support