Add CI step for Antora documentation build

[SaschaWillems]

We should add a CI step that builds the Antora documentation for this repo to make sure that changes won't break builds for the documentation site. Currently we have no CI at all, so we would need to set that up first.

See KhronosGroup/Vulkan-Site#82