[prologix] minor improvments

[hp34970] replace dailymotion by peertube for embedded video

improve hgignore

(0) -10 +3 +30 tip

mercurial