Ex-GCHQ software dev jailed for stabbing NSA staffer