Docker encapsulation for the Heartbleed OpenSSL vulnerability checker