doc(demo): remove Lean 0.1 demo files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>