The GNU stream editor