Fixed some bugs introduced by refactoring the property privilege system
Fixed some bugs with views
Merge branch 'master' of github.com:sara-nl/BeeHub
Werk uit hamburg
Fixed several issues with views and authentication stuff (after first checks on an actual HTTPS system)
nieuwe webdav library versie
nieuwe versie van webdav-php
Merge remote branch 'origin/pieterb_hamburg' into niek_vanalles

Conflicts:
	config_example.ini
	src/beehub.php
	src/beehub_acl_provider.php
	src/beehub_directory.php
	src/beehub_group.php
	src/beehub_principal.php
	src/beehub_principal_collection.php
	src/beehub_registry.php
	src/beehub_resource.php
	src/beehub_run.php
	src/beehub_sponsor.php
	src/beehub_user.php
	src/beehub_users.php
	templates/default.php
	views/header_no_bootstrap.php
	webdav-php

I'm not sure if this was a useful merge
Improved access to user_set in various classes
Updated the webdav library
Merge remote branch 'origin/master' into laura