lean4web

add script for create projects (#63)

Add Ctrl + S shortcut to save file (#68)

fix(doc): path to `Projects` documentation (#70)

bump lean4monaco

add windows user agent test