Switch tlapm to cmdliner#177

glondu wants to merge 2 commits intotlaplus:maintlaplus/tlapm:mainfrom

glondu:cmdliner-tlapmglondu/tlapm:cmdliner-tlapmCopy head branch name to clipboard