Building a cache cleaner from devel for Drupal 5

In a particular context, it happened to me to have to reproduce a cache cleaner feature for Drupal 5 without installing the Devel module. Although this article doesn't create anything new, I thought it might be worth explaining in case this would help someone someday. The idea is to re-use the code from the devel module and put it into another module for re-use without having the weight corresponding to a new module installation. The code from the devel module (devel.module) looks like this:
/** * Implementation of hook_menu(). */ function devel_menu($may_cache) { $items = array