Describir: Topological methods for set-valued nonlinear analysis