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