The inspection completed: No new issues

@oohnoitz, to be honest I have no idea how to fix Travis CI builds.

This article suggests to add dist: bionic, but in this case tests/install.sh fails, cause there's no build for bionic.

Any ideas?

We would need to get the install script updated. The simplest approach would be to switch all builds to dist: bionic and build sphinx and manticore from source instead of using the package manager.

Is there any progress?

Nope =(

I have some time to look into this right now. I'll get this merge in as-is.