Remove arabtex port

Redports:	ignore