Merge branch 'docedit' into 'master'

[docs] removing the Local package development for bob and replacing it with a link to bobdevtools

See merge request !36
5 jobs for master in 3 minutes and 15 seconds (queued for 6 seconds)
Status Job ID Name Coverage
  Build
passed #185405
docker
build_linux_36

00:02:01

92.0%
passed #185406
docker
build_linux_37

00:01:57

92.0%
passed #185403
macosx
build_macosx_36

00:01:55

91.0%
passed #185404
macosx
build_macosx_37

00:01:50

91.0%
 
  Deploy
passed #185407
docker
deploy_beta

00:01:11