Added page about debugging TSK code