Translate course types

This adds a new, independent field for course types (`Course.kind`) in English/German.  Fixes #315.

These two are currently not correlated, so you could theoretically pick two unequal types in either language.  Maybe a frontend suggestion would work here?