added TLATools to release jar