[fix_jira_142] Define MIND_HOME environment variable in mindc script, in order that MIND_HOME is always set to the home directory containing the mindc script.
[fix_jira_142] Modified comment about MIND_HOME that is not any longer an environment variable, according to review comment.
Merge pull request #13 from valeriebertin/fix_jira_142

[fix_jira_142] Define MIND_HOME environment variable in mindc script, in...
Merge pull request #7 from MIND-Tools/master

Integrate latest contributions.
Merge pull request #16 from Mind4SE/master

Keeping up-to-date