Bump dlist to 0.7.1
Bump hatex to 3.13.1.0