Update to Moodle 2.7.2

Changes to mod_workshop carried out by Adam Olley. All other changes
are part of the Moodle trunk.