Documenting non-returning functions using stdnoreturn.h

Introduction

Introduction

Adds ability to prefix functions with noreturn.

This hints to the compiler and reader that the function will not return. Eg if there is an infinite loop.

noreturn void loop_forever() {
    int x = 1;
    while(1) {
        x = 2;
    }

}