The main benefit is that this ensures that the directory always exists in a
Git checkout. This way the maintenance scripts don't have to worry about the
case where the directory doesn't exist.
Also it unclutters `/.gitignore`.
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
