Document some missing options in configure -h