updated index.html and created new docs page#9

WebVA wants to merge 1 commit intoInterlisp:masterInterlisp/old.Interlisp.github.io:masterfrom

WebVA:masterWebVA/Interlisp.github.io:masterCopy head branch name to clipboard