* obs: build_binpkg: optimize osmo-gsm-manuals-dev * obs: build_binpkg: debian: don't install manpages * obs: add build_binpkg.py