Add tplib.1.3

First package of TPLib (library implementing algorithms to manipulate tropical polyhedra).