merge #74: GitHub Actions docker 관련 이런저런 이름 변경

merge #74: GitHub Actions docker 관련 이런저런 이름 변경 #12