Renamed for consistency

Dr. Weiss's files on website are simply named rulebase and students, no
extensions