Adds version checking, specifically for GDB but also for rr, although no hard limits are set here, particularly since latest version of RR should always be used (we are opinionated) whereas GDB is not necessarily as easy to achieve.
Midas now has been tested against 9.1, which is the version shipped with the latest LTS of Ubuntu.
Closes #124 and completes milestone 0.2.
Adds version checking, specifically for GDB but also for rr, although no hard limits are set here, particularly since latest version of RR should always be used (we are opinionated) whereas GDB is not necessarily as easy to achieve.
Midas now has been tested against 9.1, which is the version shipped with the latest LTS of Ubuntu.