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 6 minutes and 51 seconds (queued for 6 seconds)
Status Name Job ID Coverage
  Build
passed build_linux_36 #168495
docker

00:04:58

 
  Deploy
passed deploy_beta #168496
docker

00:01:53