Matching polytopes, Gorensteinness, and the integer decomposition property | Synapse