Added GZIP compression and function to get the user's full name to user.class.php
Add database.class.php and remove server.class.php
Moved from mysqli to PDO and fixed a JSON-output bug in getJSONForAllUsersInGroup()
Merge branch 'feature/switch_to_pdo' into develop