DEBUG.md: fix numbering

Yes, Markdown automatically increments the numbers, but it's nice if the
plain text version looks correct, too.
DEBUG.md: simplify debug build instructions

We have a "build" script now that does all the steps.