Support alternative env bin directory name.
Merge pull request #1811 from diegosarmentero/master

syntax working
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
The variable name of settings.PYTHON_PATH was incorrect, the name
was changed to settings.PYTHON_EXEC.
Merge pull request #1819 from ericho/ericho_migration2to3

The variable name of settings.PYTHON_PATH was incorrect,
new editor work in progress