add github workflows, including building the gh pages (#16)

add github workflows, including building the gh pages (#16) #4