fix src/Add/README.md
fix mistakes about SMT solvers
add note for background of KeY Prover
add about Hoare logic
add about first order dynamic logic
add about Java Card DL
add about sequent calculus