The GNU Stream Editor