Upgrade to Creusot 0.11.0#9

Lysxia merged 6 commits into

maincreusot-rs/tutorial:mainfrom

dev-maincreusot-rs/tutorial:dev-mainCopy head branch name to clipboard