[ref_impl_eiffel] [1858] Add a menu item to the RM Explorer, "Export as XML", which export an RM schema to an XML file in the same directory as the original schema file .

Revision: 1858
Author: peter.gummer
Log Message: