After Eleven Years, Microsoft Closes CodePlex and Sends Users to GitHub