CircleCIへの移行

[kkimurak]

本家リポジトリの以下の変更を取り込みます。

• robocup-ssl/ssl-rules@4f5b94d9f910c1e999969418771a6ef9f30b1a23 : Add contents of pages branch to master
  • 取り込む内容は本リポジトリのgh-pagesの内容に変更
• robocup-ssl/ssl-rules@5de492ac380fd70672dcf28618a5c4c597c2cecf : Add circleci config
• robocup-ssl/ssl-rules@7e7e53258ad242d4911b98427b7d0a6f0dd12f6d : Add ssh key with write permission
  • SSHキーの内容は本リポジトリで追加したDeploy keyの内容に合わせて変更
• robocup-ssl/ssl-rules@f9708df4d2536549726005616d1cd09941f5fd97 : Build GH pages with circleci
• robocup-ssl/ssl-rules@e4f9084435ecebfc688e60527a1d47e4969e2c47 : Remove travis build

加えて以下の変更を行います。

• 2fca6bd0fc3791abf323059df25d9335d9dad591 : Update ci : add asciidoctor attributes for japanese
  日本語環境向けにビルドコマンドを調整します。
  共通項として"Table"、"Figure"などを翻訳するファイルをリモートから読み込ませるためのallow-uri-readを、PDFビルド用に-a script=cjk -a pdf-theme=default-with-fallback-fontを追加します。
• aa88b94e472c3dc88610179e660a81f4773c9532 : ci: install htmldiffer from github@develop branch, specify file encoding
  htmldifferはエンコーディングが指定できるのですがその機能を加えたバージョンがリリースされておらず、単にpip install htmldifferするだけでは当該機能が使えません。なくてもci環境では問題ない気がするのですが、とりあえず使えるなら使えたほうがいいだろうと思ったので追加してあります。
  ついでにdiff html出力時にも明示的にutf-8になるよう、diffRules.pyの中でsys.stdoutに対してencodingを指定します。