This contains the currently-documented steps for a developer build. Also, make git ignore its output directory.