VerilatorSection: define self.export_files

This defines self.export_files, which is used by the export()
method in the Section class.
core.py is also updated to make use of this method.