Allow building with shared libraries

[andrewathalye]

GNATCoverage could, in theory, be build using shared libraries instead of static. This would be more convenient for distribution packaging (see https://github.com/andrewathalye/nix-ada for example).