Add GitHub workflows for build and coverage