scotch5 5.1.12b: New formula

a library for (hyper)graph partitioning
This is the latest version of the v5 series. The new version 6 has
introduced some API incompatibilities and a few programs hence need
this older version.

Closes #294