Repo size

[Michael McConville <mmcconv1%sccs.swarthmore.edu@localhost>]

Have you guys considered removing directories like
sys/external/bsd/gnu-efi/dist/inc/protocol/htdocs from the repo? That
seems to be the contents of GNU EFI's entire website, and it's over 100
MB. Removing needless extras like that as well as Windows-specific
directories could make src/ much smaller, which would reduce server
load, make life easier for devs, and let it fit on smaller disks.