hwloc: move ancient release series download from nav.inc to a dedicated page