Added header for debugging helpers
Merge pull request #90 from matthiasbeyer/add-debugging_print

Added header for debugging helpers