Prefix all the debug messages in the back-end run-time with "SMECY: " to ease filtering
Improve the user Makefile to display a documentation by default

Also add new convenience targets