Install dev files for gnutls

Signed-off-by: Michal Čihař <michal@cihar.com>