Add Makefile for DebuggingTool. Assorted fixes.