Document all sorts of C debugging tips