Added debugger script for gdb. Minor changes apart from that.