Remove tool version

Tool development is aligned to the core library, so only show the 
version of the library a tool is running with.
Use GNU style for option keywords, i.e., two dashes before long options

Abandon the previously used Java launcher option style. Bundles of 
single character options are not supported. Also, remove documentation 
telling that commands are not case-sensitive.
Replace old logging methods with LogService helpers