Report started

Added SOL listing profile in the preamble and a first example of
function definition in Chapter 1.
Added the complete BNF of SOL in Chapter 2 as math formula, not sure if
this is looking good enough.