[sr-dev] git:master:5193ff25: modules/tcpops: new module to tweak TCP options