A PHP library for dynamically generating image thumbnails