Jak vznikal film Havel a co všechno se do něj nevešlo