Change issue tracker link from Redmine to Github

Author: rbuch

layouts/default.html

@@ -78,7 +78,7 @@
 		<a href="#" class="dropdown-toggle" data-toggle="dropdown">Follow <span class="caret"></span></a>
 		<ul class="dropdown-menu" role="menu">
 		  <li><a href="http://charm.cs.illinois.edu/gerrit/gitweb?p=charm.git">Recent Commits</a></li>
-      	  <li><a href="https://charm.cs.illinois.edu/redmine/projects/charm">Issue Tracker</a></li>
+      	  <li><a href="https://github.com/UIUC-PPL/charm/issues">Issue Tracker</a></li>
       	  <li><a href="http://charm.cs.illinois.edu/autobuild/cur/">Nightly Tests</a></li>
       	  <li><a href="https://lists.cs.illinois.edu/lists/info/charm">Mailing Lists</a></li>
       	  <li><a href="http://charm.cs.illinois.edu/gerrit/#/admin/projects/">Other Repositories</a></li>

layouts/homepage.html

@@ -78,7 +78,7 @@
 		<a href="#" class="dropdown-toggle" data-toggle="dropdown">Follow <span class="caret"></span></a>
 		<ul class="dropdown-menu" role="menu">
 		  <li><a href="http://charm.cs.illinois.edu/gerrit/gitweb?p=charm.git">Recent Commits</a></li>
-      		  <li><a href="https://charm.cs.illinois.edu/redmine/projects/charm">Issue Tracker</a></li>
+      		  <li><a href="https://github.com/UIUC-PPL/charm/issues">Issue Tracker</a></li>
       		  <li><a href="http://charm.cs.illinois.edu/autobuild/cur/">Nightly Tests</a></li>
       		  <li><a href="https://lists.cs.illinois.edu/lists/info/charm">Mailing Lists</a></li>
       		  <li><a href="http://charm.cs.illinois.edu/gerrit/#/admin/projects/">Other Repositories</a></li>