configure: use AS_HELP_STRING for --enable-developer