Test the debian packages

[joseandro]

[joseandro]

Can we get this one in for q2?

[robinbb]

@joseandro I wonder if there is more information available about the degree of testing sought? Obviously, more is better, but there is decreasing ROI with increasing scope on this kind of issue. If you have no opinion, we will decide.

[yorickvP]

To clarify: the docker-built debian packages are tested using the integration tests. We should try to test the nix-build debian packages.

[balsoft]

We probably want to just add a very simple test that checks that the package installs correctly and mina version prints something and exits successfully. The package content itself is identical to whatever's in the docker image produced by Nix, it's the metadata that's different and worth testing.