O lapis do carpinteiro (filma)