Update to new toploop packaging

As of 8.9, upstream has stopped distributing plugins that turn coqtop
into worker processes for CoqIDE and other things. There are now
separate binaries for each coqtop use case. Ensure they’re all
distributed.