New utility for quick updates of plugins.xml file

When given the path to a Moodle installation (typically Git checkout of
the master branch), this new script extracts the information about
standard plugins on that version and merges them into the plugins.xml
file.
Update plugins.xml for the upcoming Moodle 2.8 release