Issue #19: added DebugTools.h, as obj-c interface to DebugTools.swift