Update HaLeX.cabal

changed version to 1.2.1