Fix error message when with [% //] fails

Merged Tej Chajed requested to merge tchajed/iris-coq:fix-specialize-error-message into master

Fixes #325 (closed).

Also added a tests for the various iSpecialize error cases involving the [%] and [//] specialization patterns.

Merge request reports