Merge pull request #19 from mor1/master

tidying up tutorial post cufp'11 in prep for ecoop'14
Merge pull request #20 from mor1/master

two notebooks: lwt tutorial, simple mirage console "hello world"
Merge pull request #21 from mor1/master

config.ml notebook; simple install instructions
Add Lwt/Monad tutorial
[theme] better syntax highlighting
[content] turn syntax highlighting back on; tweak text