Header only random device with ci#3

jeking3 wants to merge 3 commits intodevelopjeking3/random:developfrom

header-only-random-device-with-cijeking3/random:header-only-random-device-with-ciCopy head branch name to clipboard