started cleaning up the options
more cleanup
filling in some option descriptions (obtained from
Choonghwan and Dongyun)
removing an unused option
formatting
deleting unused option
Adding a few more options from Choongwan and Dongyun
Consistently using periods at the end of each option
 description
removing TODO
fix typo
Addressing Yi's comment
Merge pull request #85 from runtimeverification/optionsCleanup

Options cleanup