Release DescripTor 1.3.0

This is the parent ticket for releasing DescripTor 1.3.0, hopefully in the second half of June.