waffle.io Badge

Merge this to receive a badge indicating the number of issues in the ready column on your waffle.io board at https://waffle.io/goblint/analyzer

This was requested by a real person (user vogler) on waffle.io, we're not trying to spam you.