picocli - a mighty tiny command line interface