use https for docs.ev3dev.org

Author: dlech

_includes/page-core/page-header.html

@@ -35,7 +35,7 @@
                                 <a href="/docs/networking">Networking</a>
                             </li>
                             <li>
-                                <a href="http://docs.ev3dev.org/projects/lego-linux-drivers/en/ev3dev-stretch/">
+                                <a href="https://docs.ev3dev.org/projects/lego-linux-drivers/en/ev3dev-stretch/">
                                     Hardware Drivers
                                     <i class="fa fa-external-link external-link-nav-icon" aria-hidden="true"></i>
                                 </a>