Arnauld d'Andilly, défenseur de Port-Royal (1654-1659)