add information about static host resources such as available NUMA nodes, cpus, etc. (e.g., for offline build planning);

added Range object to Host, e.g. to parse/unparse NUMA node ranges;

defined statically known tables of Build_Log; read hostname from build logs, store in Session_Entry (e.g., to track hosts in distributed build);

added lemma