DOC: Make title in docstr of tulip.dumpsmach more descriptive
TRIV: Delete unused imports in dumpsmach

These were vestigial from an early attempt to integrate the file
contrib/aut2simulink.py into tulip.dumpsmach.
TRIV: Delete trailing whitespace