manual: add 'manual-7zip' build target for 7zipped HTML manual.
7zip produces files nearly *half* the size of a zipped one.Change-Id: Ic8bc4129dd4106a32060c98049061ea3848ebddc
Solomon Peachy 10 months ago 8d5fd1b2 c33aafcd