Add makefile debugging target; use "make print-FOO" to print the