Werk uit hamburg
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