Issue #1791536: Fixed options not properly passed to theme('token_tree') in token_page_output_tree().