am 6c3f41ac: am a6188a56: am 972c3798: am 28ca0f32: am 25e7300c: load the...

am 6c3f41ac: am a6188a56: am 972c3798: am 28ca0f32: am 25e7300c: load the navtree javascript on demand; don\'t try setting up the tree until it\'s loaded

* commit '6c3f41ac':
  load the navtree javascript on demand; don't try setting up the tree until it's loaded