ci: speed up code-coverage jobs

Plus some documentation updates

Change-Id: I6fd2b04e22bca6c3d6e36e78d1995220e261206b
Refs: #3809
diff --git a/wscript b/wscript
index d572382..5be7c65 100644
--- a/wscript
+++ b/wscript
@@ -5,7 +5,7 @@
 
 VERSION = "0.5.0"
 APPNAME = "ndn-cxx"
-PACKAGE_BUGREPORT = "http://redmine.named-data.net/projects/ndn-cxx"
+PACKAGE_BUGREPORT = "https://redmine.named-data.net/projects/ndn-cxx"
 PACKAGE_URL = "http://named-data.net/doc/ndn-cxx/"
 GIT_TAG_PREFIX = "ndn-cxx-"
 
@@ -114,7 +114,7 @@
     if conf.env.BOOST_VERSION_NUMBER < 105400:
         Logs.error("Minimum required boost version is 1.54.0")
         Logs.error("Please upgrade your distribution or install custom boost libraries" +
-                    " (http://redmine.named-data.net/projects/nfd/wiki/Boost_FAQ)")
+                    " (https://redmine.named-data.net/projects/nfd/wiki/Boost_FAQ)")
         return
 
     if not conf.options.with_sqlite_locking: