WordPress: Add custom image size to the theme (saving for posterity, use of Simple Image Sizes renders this useless)