Prøysen, Snekker Andersen og Julenissen