Куклы Панч и Джуди: традиционные образы и история