Developer Tooling
-----------------

This directory is expected to contain all sorts of tooling that
relates to our build infrastructure. This includes scripts and
inputs required by our build systems, but also scripts that
developers are expected to run manually.
