Add dotted names feature.

I hope I'm doing this right, but #15 should be merged before this.

This pull request replaces #14. I don't know whether or not this fixes the performance problem you saw, but in #14 converting keys from String[] to String had been done very inefficiently. This fixes that. But again, I don't know if that solves the entire performance problem or not.