Support alternative env bin directory name.
Update ide.py
fix for saving toolbar visibility to cfg file
Merge pull request #1814 from 4544fa8d/fix_toolbar_visibility_settings

Fix for saving toolbar visibility settings to configuration file
Merge pull request #1746 from arlsr/fixenvbin

Fix #1740, support alternative env bin directory name
Merge pull request #1 from ninja-ide/master

update