Enhance CI for more coverage#55

jeking3 wants to merge 1 commit intoboostorg:developboostorg/program_options:developfrom

jeking3:workaround-ubsan-issue-on-travisjeking3/program_options:workaround-ubsan-issue-on-travisCopy head branch name to clipboard