[acla] Extend ACLA to add the option to search either for shortest example or parse all strings from the approximated automaton
Merge pull request #5 from nvasudevan/extend_acla_option

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