add script and workflow to generate static info-page with mtinfo

.github/workflows/mtinfo.yml

@@ -0,0 +1,21 @@
+name: mtinfo
+
+on: [push, pull_request]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-20.04
+
+    steps:
+    - uses: actions/checkout@v1
+
+    - name: generate
+      run: ./generate-mtinfo.sh
+
+    - name: deploy
+      if: github.ref == 'refs/heads/master'
+      uses: peaceiris/actions-gh-pages@v3
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: ./output