ページ名の変更

pukiwiki1.5/stray_doctypeの名前を変更します。