Merge branch 'hotfix/binary-iso-name' into develop
Merge branch 'hotfix-wheezy' into develop
Merge branch 'hotfix-wheezy' into develop
adjust copyright date for 2013
Merge branch 'develop'