added support for ranges in BasicAutomaton.regex(String)