fix ktest paths in debugger
fix colors that were broken by krun branch :(
Merge pull request #740 from dwightguth/ktest-paths

fix ktest paths in debugger
Merge pull request #741 from dwightguth/color

fix colors that were broken by krun branch :(
fixed CompileDataStructures pass
fixed timeout problem
added unit test
Merge pull request #743 from yilongli/fixing-issue-#738

fixing issue 738