Preparation for hosting multiple documentation versions.
Move the "HEAD" version of the documentation to its future location in 'documentation/HEAD'. Adjust the nav link accordingly.