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

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