Add build and release workflows

[BadMagic100]

For now we can use BadMagic100/setup-hk to get something going and migrate to hpm later (once it exists)