[coq/f15] (2 commits) ...Move tutorial code into main package; it is small and we can then leave all the rest of the document

[Jerry James]

Summary of changes:

  cb1e9d8... Remove workaround for bad documentation link in 8.3pl1, fix (*)
  5f19ebe... Move tutorial code into main package; it is small and we ca (*)

(*) This commit already existed in another branch; no separate mail sent