manual/presentation.tex: bg option is unknown with beamer 3.3 in beamercolorbox
Merge branch 'master' of https://github.com/Martoni/yosys