Makefile: using FSTAR_EXE and remove FSTAR_HOME#26

mtzguido merged 1 commit intohacl-star:mainhacl-star/merkle-tree:mainfrom

mtzguido:no_homemtzguido/merkle-tree:no_homeCopy head branch name to clipboard