doc/manual.txt: explain how to show build options for binpkgs.