Ported gdb printers script to python 3
Fixed post-dom updates in function splitter for functions with no return