Add 'real code' section to tutorial, plus command line args docs#525

tedinski merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom

tedinski:tutorial-4tedinski/rmc:tutorial-4Copy head branch name to clipboard