Upgrade version + Fix cosmetic bugs in sml-toolkit CLI