Implement Navigator
auto merge of #839 : evilpie/servo/navigator, r=jdm

Fixes #832. I wasn't sure what UserAgent we want so I posed to dev-servo. In general I think we should try to expose the least amount of legacy properties possible, webkit usually implements fewer of those.