Updating links to repositories, added GitHub mirror