Documentation for sancus-example with simulation

• add example from sancus homepage
• documentation for sancus-simulator
• add verify keys in example