Title and table of contents added
Added colored links except for the ToC
Added an annex for the Hoare logic (for proofs of programms)