Karma badges UI v0.2

- also fixed a build failure introduced in pull #300