Fix #18 by generating names for JuMPDicts on demand