removed .docx file
Merge pull request #107 from runtimeverification/removedocx

removed .docx file