docs: mark up keywords `requires` and `ensures` as inline code in prose of "Getting Started with Dafny: A Guide" #18832