Added searching for the course ID in the university's course catalogue.
Also some general improvements to semester ID overriding.