Courses and course formats

Folding and unfolding course sections using topcoll