Generate ghcjs-tools.links with the correct ghc version number (we should also generate the ghcjs version number)