Merge branch 'bob-devtools' into 'master'

Port package to new bob.devtools-based build system (c.f. bob/docs#7)

See merge request !10
2 jobs for master in 8 minutes and 13 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #168304
docker
build_linux_36

00:04:54

 
  Deploy
passed #168305
docker
deploy_beta

00:03:19