Extensions

Fixes #21 (closed)

Unifies handling of extensions, including centralizing the "what extensions are supported" code in one header which contains an "X-macro" to generate the rest, and itself can be updated by a script.

Adds a new verify macro to check if an extension is enabled, in addition to adjusting if GIPA will return a non-null function pointer.

Fixes some GIPA conformance issues.