encode spec IRIs in output file names
Merge pull request #1342 from spechub/encode-spec-name

encode spec IRIs in output file names