Migration depuis le (feu) plugin videos

Cette branche prend en charge la migration :

• une commande cli spip oembed:migrer:videos-dist permet de migrer les documents avec une extension like 'dist_%' en documents oembed (j'ai codé que vimeo et youtube, car c'est les exemples que j'avais sous la main, mais il suffira de compléter dans le cli https://git.spip.net/spip-contrib-extensions/oembed/-/blob/migration_videos/spip-cli/OembedMigrerVideosdist.php?ref_type=heads#L52 pour reconstruire les URLs à partir de fichier
• on route les raccourcis <videoXX> sur un document oembed pour les prendre en charge également car c'était le raccourci proposé par le plugin vidéos

Testé et approuvé en prod (tm)