Add documentation

... and implement a workflow to build/generate them with Documenter.jl.