Merge pull request #47 from riscv/debug-0.13