Fix cohttp_lwt_mirage -> cohttp_mirage