An Arduino library for reading and debiasing input from a hardware random number bit generator