Makefile: Compress binaries and use fixed filenames

[atc0005]

Overview

Changes:

• static filenames (without version component)
• compressed via xz

This is a step towards release automation and simplifying the deployment process.

References

• atc0005/check-cert#470