Gamification of a Static Analysis Tool