[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...