馃懛 use dependency files for CI and install instructions
This MR puts all apt and python3 dependencies for ubuntu 18.04 into a single place, the deps
directory.
This directory is used for installation instruction and for the CI and make easier to maintain the list of dependencies
Edited by Nicolas Bouillot