Implement build-time variables

Build-time variables are like run-time variables, except they are used at build time. They can be strings or paths, and have an optional default. The user can override their value on the command line.