Remove hotdoc from flatpak development tools
Since there seem to be errors when pip tries to build hotdoc wheel, and since it is not a hard dependency, we could remove it from install_development_tools method in pitivi-flak because at the moment breaks the procedure of building dev enviroment.