[tor-commits] [ooni-probe/master] Convert header of ooniprobe script to a non docstring