cosmetic: fix double semicolons
do clean exit after receiving signal
rfc4251*: add constructors from std::istream and use them