KeYmaera X Tutorial @Diderot

Start KeYmaera X Tutorial @Diderot.