Return real page titles and URLs for devtools tab choices.

Fixes #4167.
auto merge of #4355 : servo/servo/devtools-title, r=metajack

Fixes #4167.