fix the description
add an item of the last section
add an introduction to KeY Prover (without figures)
add to introduction
add items about installation
add figures in the introduction of KeY Prover