adding targets for fst-in fsti-in for interactive mode in emacs
adding targets for fst-in fsti-in for interactive mode in emacs

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star