Prevent duplicate course numbers.

Only one course can have a given course number.