Merge branch 'dev' for 0.4.2 release
Update installation documentation