Revert.
Revert.

With the last refactoring, Horde_Cli isn't a requirement for
horde-git-tools directly anymore anyway. Other packages that
may have a dependency on PHP < 7 can be overridden with
--ignore-platform-deps on composer command line.

mrubinsk/horde-git-tools