All work and no play is said to make Johnny a dull boy. But the proliferation of educational video games—what professors and game industry professionals call ‘serious’ games—in college …