provexport: added option to export DOT files