Add support for alternate platform names

"TI83p" is now a valid name for TI-83+