WebDAV option to add course reference to course title for better identification

When there are many course instances of the same course, the normally all have the same course name. But they differ in the course reference (external ID of a course catalog).

The idea is to add the course reference to the course title when mounting via WebDAV to make the courses distinguishable.

This is a configuration option, default value is false.