Upgrade to Debian 7 and Moodle 2.5

A server, previously running Moodle 2.4 on Debian 6, has been successfully upgraded to Debian 7 and Moodle 2.5.