Magny-les-Hameaux, Musée national de Port-Royal-des-Champs