Automatically convert bunch of image files into still-image video files.

I have about 130 .png files that I've generated using GIMP - they're basically introductory slides that I'm going to be putting in front of a bunch of music videos that state the title, artist, etc, for the benefit of my audience before the video plays - and I need to convert them from image files into 10-second video files.

Now, if all else fails I CAN use OpenShot to convert them by manually importing each image file, dragging it down into the video stream, manually selecting all my various export options, and exporting the image into a .mp4 file - and if need be I'm willing to do so.

HOWEVER, doing all of that by hand for 130 slides would probably take me 2 or 3 DAYS just from all the clicking, dragging, selecting, and waiting while each file transcodes.

So, I'm wondering: is there any way that I can automate this process? I doubt that there's some line in Terminal that I could just type in, but if there's a video editing program that supports pre-set configuratons and batch-loading of files or job queues, it'd REALLY help me a lot.