high level design documentation

[alex-dukhno]

README
For Contributors

[alex-dukhno]

I haven't added it to the design doc, but I have an idea of describing spec cases in the following way (I don't know if it is possible to write such DSL in Kotlin but ...):

@Case
fun `server must reject connection with ERROR[INVALID_SETUP]`() {
    send(Frame.setup(streamId: NON_ZERO))
        .to(server)
        .expect(Frame.error(streamId: 0, errorCode: INVALID_SETUP))
}

If server acts properly upon the case then TCK should report like:

[x] server must reject connection with ERROR[INVALID_SETUP]

if server doesn't then (e.g.)

[-] server must reject connection with ERROR[INVALID_SETUP]
    [-] server respond with streamId: 1
    [-] errorCode was UNSUPPORTED_SETUP

[OlegDokuka]

What is the purpose of this doc? Is it to describe the TCK goals/design/implementation details or is it for a different purpose?