2013-spring-cleanup: Remove obsolete GPG course.