Added Oh's NDProof app

CS1231 students are currently using to create Natural Deduction Proofs. A very neat Java app.