Debian packaging of the IGTF CA certificate bundle