Update to bob-devel 2019.04.30

Merged Amir MOHAMMADI requested to merge torch into master

Merge request reports