strip BOARD variable
cosmetics in dist Makefile
add scheduler statistics option
add valgrind option
add develhelp option
Improve text and stop overriding useful variables