Interface for changing the type of a lab

[Evgeny Kotelnikov]

It should be possible to turn an individual lab into a group lab and vice versa. It should probably only be possible if there are no existing submissions to the lab.