Add texclipse docs