fix translate.py to use environment variable when finding nusmv files