add specs/experimental and lib/tutorial to ALL_HACL_DIRS
add specs/experimental and lib/tutorial to ALL_HACL_DIRS

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