Add meta HTML element for storing the document identifiers (space, name, wiki)

This is useful and needed for javascript code (thus which execute on the client side) and which need the name of the current document (for example for calling an Ajax URL and pass that document name to it).