kill dead code
typo
cosmetics in the popping generator
make smx_popping_bodies.c parsable by eclipse (kinda)
improve a bit the documentation of popping, and align code with doc
finish the s/smurf/popping/ renaming

Actually, that strange dance is called Popping in English and Smurf
only in French :)
Rename smx_user to libsmx (to mimick libc/smx)
rename all SIMIX_pre_* to simcall_HANDLER_*

This is consistant with simcall_BODY_*, and more explicit
[popping] cosmetics in doc and generator
kill dead code
Generate automatically the simcall_HANDLER_* prototypes

- Writing this code manually was burdensome
- This allows to check that the definition in simcall.in actually
  match the handler prototype (safer as we are casting wildly)
- This allows to detect (and destroy) some now unused simcalls
some more cosmetics in the popping generator