Declare achievements
*achievement command runs at the top of startup
prevent doubly-defined achievements
Generate achievements in mygame.js; load them on startup
Don't allow runtime achievement banner; use pre-canned banner
support mixed-case achievements
comment is the only command allowed in preamble and body
re-define achievements in randomtest
put the slash back in to be backwards compatible with iOS apps
check_achievements
Maintain an ordered list of achievements
First draft of showAchievements
Fix loadAchievements
Much fancier achievement text (with unit test)
Achievements button
Error for too many achievements