Add option to force build before extracting doc#8119

shulhi wants to merge 2 commits intorescript-lang:masterrescript-lang/rescript:masterfrom

shulhi:extract-doc-force-build-optionshulhi/rescript-compiler:extract-doc-force-build-optionCopy head branch name to clipboard