An open source platform for the gamification of education