ci: leaner releases

Remove some useless files for the archive release. This allows user to
download a more straight-to-the-point code, without all bells and
whistles for gitlab, pipelines, etc.