Add output for minimal covers

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Add support for statically-linked binaries

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>