Cleanup and Refactoring of Hets binding

now the LANG environment variable is set for execution of hets (solves #579, related to #622)