An extremely simple CLI option parser in Idris. Only a toy project, don't take it seriously. :)