87004db113
In line with the dissolution of libextra - #8784 - this moves arena and glob into their own respective modules. Updates .gitignore with the entries doc/{arena,glob} in accordance.