Improve page titles.

doc/_includes/header.html

@@ -9,7 +9,7 @@
 
     <link rel="stylesheet" type="text/css" media="screen" href="{{ site.baseurl }}stylesheets/stylesheet.css">
 
-    <title>Cap'n Proto</title>
+    <title>Cap'n Proto: {{ page.title }}</title>
 
     <script type="text/javascript" src="{{ site.baseurl }}javascripts/main.js"></script>
   </head>

doc/cxx.md

 ---
 layout: page
+title: C++ Runtime
 ---
 
 # C++ Runtime

doc/encoding.md

 ---
 layout: page
+title: Encoding Spec
 ---
 
 # Encoding Spec

doc/index.md

 ---
 layout: page
+title: Introduction
 ---
 
 # Introduction

doc/install.md

 ---
 layout: page
+title: Installation
 ---
 
 # Installation

doc/language.md

 ---
 layout: page
+title: Schema Language
 ---
 
 # Schema Language

doc/news/index.html

 ---
+title: News
 ---
 
 {% include header.html %}

doc/otherlang.md

 ---
 layout: page
+title: Other Languages
 ---
 
 # Other Languages

doc/rpc.md

 ---
 layout: page
+title: RPC Protocol
 ---
 
 # RPC Protocol