Minor improvements

What’s Changed

• Change names to match convention (#8) @ingwarsw
• Fix format (#7) @ingwarsw
• Clean old stuff from go.mod (#6) @ingwarsw
• Add CI pipeline (#5) @ingwarsw