tools: update plugin_replacement.py to understand the new 'path' attribute in plugins.php's XML output.