instruction for texlipse added

texlipse added