This adds new make targets 'PRINT.<var-name>' and 'show-makefiles' which are useful for debugging build problems.