Describir: Effective computation of invariants of finite topological spaces