fix(CoqModelDirective): temporary fix for CoqModel directive

Related #7
finally fixed by changing API on coq-model-attribute for now

Thanks to @CrshOverride for advices

Closes #7
Merge branch 'fix-issue-7'