Fix active menu highlighting on HTTPS

git-svn-id: https://humgenprojects.lumc.nl/svn/mutalyzer/branches/refactor-mutalyzer-branch@363 eb6bd6ab-9ccd-42b9-aceb-e2899b4a52f1

mutalyzer/templates/base/js/menu.js

@@ -128,7 +128,7 @@ function initActive() {
   var winLoc;
 
   winLoc = window.location.href;
-  winLoc = winLoc.replace(/http:\/\/[^\/]*\//, "");
+  winLoc = winLoc.replace(/https?:\/\/[^\/]*\//, "");
 
   if (winLoc.match("~"))
     winLoc = winLoc.replace(/[^\/]*\//, "");