[acla] Extend ACLA to add the option to search either for shortest examp...

...le or parse all strings from the approximated automaton