Improve build documentation/procedure
treef5e925e1606279c6f836691d8d2be4417b3feb45
-rw-r--r-- 971 BUILDING
-rw-r--r-- 1240 KEYS
-rw-r--r-- 273 README
-rw-r--r-- 148 Thanks
-rw-r--r-- 2995 build.ml
-rw-r--r-- 501 build.sh
-rw-r--r-- 30107 link.c
-rw-r--r-- 25881 main.ml
-rw-r--r-- 765 tbs