kframework/k — pull request #53 by osa1 (2013-10-02 14:49:38+00:00)
Title: print different help message for frontends

First patch removes an unused class.

Second patch is to print different help messages for frontends. In current master, every frontend prints kompile's help message.

Note that this patch incomplete, help messages are not set. It would be appreciated if anyone fixes that parts or at least tell me what help messages to put there.

Current outputs:

```
➜ k git:(helpmsgs) ✗ kompile --help

usage: kompile [-addTopCell] [-c | -doc | -latex | -m | -pdf | -xml]
[-check ] [-def ] [-fastKast] [-h | -v | -version]
[-html] [-k ] [-kexp] [-l ] [-lib ] [-loud] [-ml]
[-nofile] [-nosmt] [-o ] [-smt | -symbolic | -symeq]
[-sortCells] [-step ] [-style ] [-supercool ]
[-superheat ] [-synmod ] [-transition ] [-unparse]
[-w ]
FIXME: kompile help msg
-addTopCell add a top cell to configuration and all
rules
... omitted

➜ k git:(helpmsgs) ✗ kast --help

usage: kast [-auxtabsize ] [-binaryParser | -groundParser |
-ruleParser | -sort ] [--compiled-def | --k-definition
] [-e | -pgm ] [-fastKast] [-h | -v | -version]
[-maxwidth ] [-nextline] [-nofile] [-pretty] [-tabsize
]
FIXME: kast help msg
-auxtabsize how many spaces to indent lines which do not
fit into max-width
... omitted

➜ k git:(helpmsgs) ✗ kcheck --help

usage: kcheck [-def | -rlfile ] [-h | -v] [-p ]
[-simplify]
FIXME: kcheck help message
-def,--definition main file to kompile
... omitted
```