adding lhs2Tex and AGDA_HOME