Add a Cohttp and its reverse-dependencies script