Mejorada eficiencia a la hora de cargar los nodos en el tree inspector.

Ya no siempre se va al fichero a cargar los nodos cuando hacemos doble
click al expandir. Ahora sólo se va cuando la variable "loaded" del
"box" está a false, que cuando aún no se cargaron los nodos por la poda
inicial.
Merge branch 'master' of https://github.com/DiegoArranzGarcia/JavaTracer