Changed MraExporter interface by adding two parameters:
 - source (the log to be exported)
 - pmonitor (a progress monitor popup that can inform the user of the
operation progress)