住井先生の教授ご着任に伴う変更等

- 住井先生の教授ご着任に伴う変更
- インストーラに bcprules.sty などを追加
- README を加筆
文献参照に関する体裁等を微調整

- refs.bib に DBLP に関する記述を追加
- refs.bib のエントリを Pierce の Web ページから拝借したものに変更
- paper.tex に cite.sty を追加