added lua hiero module to .dtx