Add documentation of instruction binary format

[ci skip]