Theme stuff

strtok() wasn't returning the expected value and it shouldn't be used for this particular situation anyway.

I wonder if it would be better if there was another tag on theme_info.xml to explicitely give a theme a proper name, if it was specified, use that, if not, use the zip name.

 relying on the zip name just doens't feel quite right.


oh, fixes #2115