Merge branch 'install_master' of git://git.moodle.org/moodle-install