Update for github pages

 - [x] travis-ciで不正なXMLでビルドエラーになることを確認する
   - 既存のドキュメントをxmllintするといろいろ引っかかる…直すの不毛なのでxsltprocだけ。やっぱり直した。
 - [x] cvsを使った古い手順を更新する
 - [x] 作成した手順にリンクを張る
 - [x] マージして更新されるのを確認する