Updated Binaries section with new format.

Changed format so that word 1 of the binary is loaded into word 0 of memory (that is, the first word of the binary, which encodes the size of memory, is omitted).