remove deprecated option from help
Merge branch 'master' of github.com:drlippman/IMathAS
Make student name pulldown in one-student view to allow switching stu