Document trampoline instruction

Created by: mn200

At meeting on 2 September 2014, we agreed that an LLVM-style trampoline primitive would probably be a good idea. Because

• the abstraction will allow generate of good machine code for varying architectures
• it may be necessary to turn fnptr * environment into a single fnptr for the sake of FFI calls