Logging gdb into a text file