* options.h (class General_options): Define build_id option.