gdbgui v0.13.1.0 Release Notes

    • ✂ Remove automatic flushing of stdout and require newer version of pygdbmi
    • ➕ Add flake8 tests to CI build