What is gallery-dl?

It is used to batch download picture files from online gallery sites such as Pinterest.