Add WITH_DEBUG Makefile option

This allows to switch more easily between release and debug CFLAGS.