Docs: Add more info to EOF exception

[fklebert]

The current description of the EOF exception says:

“Throws if end of underlying buffer has been reached (reading beyond stream). This could happen only in case of data inconsistency, e.g. if array length is defined bigger than is actually stored in the stream”

Add that this will also be thrown when a buffer is of size 0.

[mikir]

OK, we will do it within scope of current milestone.

[Roland-Homeier]

This requirement is required for a safety. @mohammedRafeeque: FYI