improve introductory user-facing documentation for baby-l4

[mengwong]

installation instructions, tooling instructions

tutorial for how to write a Rule 34 case

syntax and language reference documentation in LaTeX? (this is currently in Martin's sandbox)

[mengwong]

There is some discussion about what format to pick, ReST or Markdown, should we use readthedocs, etc.