Switch to libredox (backported calculator)

I tried updating calculator dependencies, but ended up backporting winit and softbuffer instead, as slint appears to have added certain linux-only crates as dependencies for the winit backend. Can of course be fixed, but not now.