[logback-dev] [JIRA] (LOGBACK-838) Support attribute "optional" in include element