Add build numbers to filenames of builds in GitHub Actions

[mak448a]

You can use the code from src/version.py to make this. This issue was originally what #88 was supposed to be, but that's okay

[roycho96]

Hi, can I contribute to this project? I want to be assigned to this issue.