Describir: General topology and homotopy theory