fix(bin/linja): use ninja binaries at leanprover.github.io

fix #118