A librarian's guide to using Raspberry Pi in the library