Merge branch 'release/v0.1'
Hotfix for not getting the default directories for programming tools right on the raspberry pi.
Merge branch 'hotfix/0.1.1' into develop