New CTAN Package: hanoi