Improve OS selection picker.

Current picker proposes Ubuntu 64-bit, and Debian 32-bit, which doesn't
make much sense in my opinion. The improved picker, let's you choose
either 32-bit package, or 64-bit package. It also contains more
packages.