Describir: Representation theory of finite groups