Cleanup options

Changes on options are explained in the following wiki page:
https://github.com/kframework/k/wiki/Command-line-options