Update nodes.php

If menutitle is set, using it to display title of node in resource tree, else using pagetitle.
Useful when pagetitle is too long and short menutitle is set.