first experiments with SMV-Export
added missing file
Merge pull request #2 from SatiricalThumb/symbex

Symbex