Change the way outlines/bookmarks are stored
treecf5358ed46a5e0a80e1cb665a28c2176ef4d8de7
-rw-r--r-- 1498 BUILDING
-rw-r--r-- 3058 KEYS
-rw-r--r-- 273 README
-rw-r--r-- 244 Thanks
-rw-r--r-- 3031 build.ml
-rw-r--r-- 509 build.sh
-rw-r--r-- 1784 buildall.sh
-rw-r--r-- 1796 buildallopt.sh
-rw-r--r-- 70 fixme
-rw-r--r-- 45095 link.c
-rw-r--r-- 47441 main.ml
-rw-r--r-- 889 tbs