[fix bug 858545] Update developer environment and documentation.
Merge pull request #380 from glogiotatidis/update-local-instructions

Update developer environment and documentation.