Make the cryptol binary depend on the sources
Make the cryptol binary depend on the sources

  Instead of making the cryptol binary .PHONY, use find to locate all the
sources to depend on.

GaloisInc/cryptol,ntc2/cryptol,GaloisInc/cryptol,GaloisInc/cryptol