Ju|<ebo>< is a sample driver of the media decoder framework, that
has a list of hard-coded mp3 streaming stations in a list that can
be changed between using the app rocker.

This is an annoyingly large change, but the gist of it is that we:

1. Move ctx into components/ctx
2. Move uctx into usermodule/mp_uctx.c
3. Split out uctx config into ctx_config.h and share it with the
   simulator.
4. Delete a bunch of unused ctx files
5. Flip some ctx bits for speed.
6. Draw the rest of the owl, ie. implement a dedicated rasterizer task
   in components/st3m.

This implements the 'crtc' part of the graphics stack, ie. the task
responsible for blitting out a set of framebuffers over SPI as fast as
possible.

Currently this is still single-buffered, as the micropython API needs to
be changed to support injected, per-frame ctx instances.

This moves badge hardware generation selection over from a header file
into ESP-IDF configuratbility.

The generaiton can now be selected by specifying `BADGE_GENERATION` or
`-g` when running the initial built.

In addition, each generation now gets its own sdkconfig.defaults file
(instead named sdkconfig.$generation) and the big autogeneration
sdkconfig file gets yeeted.