fix: remove redundant lines and clarify project examples in sparkfile.md

Author: Arnaud Riess

sparkfile.md

@@ -7,10 +7,7 @@
 - import embedded hal.
 - host side helpers for manipulating memory, taking endianess into account.
 - determinism
-- provide simpl example project
 - think of a more complex project with embedded. E.g. embedded, i2c, accelration sensor, send data over mqtt.
-- verifier in a seprated repo
 - make all crate names consistent
 - make the transpiler's lib side work like the cc crate in a build.rs
-- --max-pages has no effect!
-- Getting started section is too big.
+- --max-pages has no effect!