scotch5: 5.1.12b - 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.