* update prompt of zsh for root and user in order to differentiate local
* and remote zsh
Merge branch 'raspberrypi' of github.com:hurlebouc/workspace into raspberrypi