Re #217: Add Python dzen into header