sb-manual: record undocumented definitions as todo
sb-manual: exclude WITHOUT-GCING
sb-manual: tweaks
sb-manual: fix some default values in @BUILD-OPTIONS
sb-manual: add @BACKTRACES
sb-manual: document WITHOUT-GCING and WITH-PINNED-OBJECTS
sb-manual: sort build options alphabetically
sb-manual: add @FD-STREAMS