begin stog server
continue stog-server
stog-server send documents preview
ignore stog-server
run websocket server
update TODO
typo
preview using javascript code
sending and applying patch works
make and clean remove useless files
server displays errors and warnings at /status
server: improve html header, cut parts of xml trees when computing diffs
Fix lookup of doc in preview;fix javascript mime-type
xml diff: cut on pre, ul and p
use xxxNS methods when inserting node and attributes in DOM
highlight: use kw{a,b,c,d} then kdN for Keyword N > 3
add package stog.server
no more server executable, replaced by a package loaded in stog
re-introduce stog-server exe because of libs not providing .cmxs
better command line options alignment