A tool for performing bulk queries of the PAN-DB URL filtering cloud database