[tor-commits] [stem/master] change manual.py in integ to use has_encoding_man