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.