Improve error messages using annotate-snippets#2036

Kixunil wants to merge 1 commit intocreusot-rs:mastercreusot-rs/creusot:masterfrom

Kixunil:better-error-messagesKixunil/creusot:better-error-messagesCopy head branch name to clipboard