tutorial ffi: add emphasis

Add emphasis to 'target' in the examples so the string 'target' doesn't
get confused with concrete syntax:

    %include target "x"
tutorial: fix typos, add additional step to proof

An additional step is needed to prove plusredZ_S, namely compute.
tutorial: update interactive proof

Update interactive proof so it matches what one would get at the moment.
Merge pull request #519 from reynir/master

Update tutorial
javascript: apply uses an extra stackframe, not good
javascript: add JSFalse to AST
javascript: start javascript code when DOM is ready
javascript: optimize more constructor cases
javascript: optimize case for trampolines
Use llvm-3.3 from a PPA now that llvm.org is no longer providing it
Properly factor cabal workflow
Skip confirmation prompt
javascript: optimize operator calls
javascript: optimize field access
javascript: optimize in conditions
javascript: optimize calling apply on lambdas
javascript: optimize objects
javascript: optimize scope functions
javascript: optimize assignments
javascript: faster lookup tables