Generate boot animation frames from video at build-time

I think this is fully correct now. I haven't tested on an actual device, but the outputted files are identical so there's no reason it shouldn't work.