Václavka a Dášenka, Václav Havel ve vtipech, anekdotách a hádankách