VerilatorSection: add export() method

This add an export() method to VerilatorSection, with the purpose
of exporting a list of files to be used in core.py.
core.py is also updated to make use of this method.

Signed-off-by: Olof Kindgren <olof.kindgren@gmail.com>