Use GNU GDB for reverse debugging

HOW