Modify Terms/diningphilos.trm
Remove Siefast IMPL: all Siefast simulator pages are gone.