* HTML_entity: Display a meaningful message while loading div.
* Iterate over machinists to find a sandbox.
Glueing layers CORE_machinists, CORE_sandbox and CORE_evaluation.
* HTML_machinist: Now really edit machinist information.