[#10][#732][#1047] DOC add user manual entry for abbreviated options and commands
[#10][#732][#1047] DOC add user manual entry for abbreviated options and commands

remkop/picocli,remkop/picocli,remkop/picocli,remkop/picocli