shorter git log in timestamp
want Ajax for exiting, but buggy
adding jquery.jui_dropdown
ignoring and cleaning the state-monimelt.dbsqlite-journal
dictionnary allocation was wrong....
using GC_MALLOC_ATOMIC instead of GC_MALLOC, and allocating the wrong size....
adding dump-state as phony target in Makefile
added global name forget