Поиск выдал два варианта для ProxyCommand: corkscrew или connect. Ни того, ни другого не нашлось в дефолтных репозиториях CentOS 6. Что из этого выбрать?
dexpl, sdio, благодарю за совет, однако установка - вопрос вторичный, любопытно какой из инструментов в каком случае выбирать (в сточки зрения ssh over http proxy они делают одно и тоже?).