Add util woolman_semesters_list_as_integers()