write a short description about taclet
add an introduction to Java Card
add an introduction to JML
fix!
add how to install KeY prover and SMT solvers