cool-old-term: rename to cool-retro-term (close #6071)
The project has changed its name to cool-retro-term. The project also added a
dependency that is included as a submodule. I added this dependency as a
separate expression.
authored by Sven Keidel and committed by Vladimír Čunát b50cabf2 59d1d460