Add (currently unused) list-options.h