Added Oh's NDProof app which CS1231 students are currently using
Merge pull request #5 from mauris/master

Added Oh's NDProof app