add develhelp option to default makefile
Merge pull request #85 from LudwigOrtmann/develhelp

add develhelp option to default makefile