Improve GNU make build system

The GNU make build system supports now debug and release builds (debug=yes,
debug=no), distributions (make dist) and an improved clean-up (make clean).