add quick install procedure for Debian using opam
handle stog:archived-elts to indicate the types of elements appearing in archive tree
keep only archived elts in prev and next links
add blog post about talk at INRIA
new blog post: stog-at-inria