use hugo instead, gitbook is too slow to build

[billryan]

Long term schedule

[billryan]

migrate from travis-ci to GitHub Actions, each job could have 6 hour, which is enough now.