releases/4.02: fix binary distribution info

Binary distributions no longer being provided by Inria, so links were
broken. Provide alternate links where available. Closes #528.