Document how to build binary ipkgs