Added new option to CLI

-o parse=explicit : explicit parse of symbolic FA (default)
-o parse=symbolic : symbolic parse of symbolic FA
Plus replaced some spaces with tabs