Properly mark proprietary packages as binary

- Some proprietary packages were not marked as binary, and so were
generating source packages.
- A few packages where we can release source were also marked as
binary, so un-do that.

Change-Id: I99a3404e7361d2a0cc3931300bbe684363eafd81