Update libnuma in cryptol-remote-api Dockerfile

[weaversa]

I was experimenting w/ shrinking the image and noticed that apt autoremove removes the libnuma .so file due to the dev version being installed. Here I change the Dockerfile to use the non-dev version of libnuma.

[RyanGlScott]

Thanks for the patch!

Could you explain a bit further how you're pruning unused dependencies? I tried running apt autoremove as root in a cryptol-remote-api container, but that doesn't do anything when I try it:

$ docker run -u root --rm -it --entrypoint /bin/bash ghcr.io/galoisinc/cryptol-remote-api:3.1.0
root@f496157db665:/home/cryptol# apt autoremove
Reading package lists... Done
Building dependency tree... Done
Reading state information... Done
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.

(I can certainly believe that we could remove some dependencies, however, so I'm open to your ideas on how we can do better here.)