OOPS - Object Oriented Prover for S5n

OOPS has moved to GitHub: OOPS on GitHub.