Updating Drupal core to 7.25
Changing to github source for webauth, stanford_courses, stanford_video