Many changes in everything SQL-related.
new version of webdav-php
minor changes
Merge branch 'niek_vanalles' into pieterb_vanalles
restored update_principal_json oid
minor improvements and fixes
Changed the order of authentication steps in beehub_run.php,
username/passwd is checked first, then SAML is tried.
Complete overhaul of the locking mechanism.
minor fix