Run fstardoc (with some modifications) over standard library#14

mgritter wants to merge 3 commits intoFStarLang:masterFStarLang/fstarlang.github.io:masterfrom

mgritter:mgritter/revised_fstardoc_runmgritter/fstarlang.github.io:mgritter/revised_fstardoc_runCopy head branch name to clipboard