Server updated to Debian 7.5

The server was just upgraded to Debian 7.5 which brings a couple of corrections (for instance in the Apache webserver).