The LPC-LINK is great, the 10-pin header on the Due looks like it has the same pinout, I doubt the LPC debugger would work but something similar would be nice.
Arduino really has to enter the world of real debuggers now, Serial.print()ing is for the birds.
Rob