fixed #712 : changing windows title on renaming a notebook
Merge branch 'develop' into notebook-desc-on-tab-title
fixed #712 : changing windows title on renaming a notebook with dev sync
Merge pull request #730 from amol-jore/notebook-desc-on-tab-title

fixed #712 : changing windows title on renaming a notebook
add shutdown script

code extracted from fresh_start.sh
closes #612
Remote-tracking branch 'upstream/develop' into develop