Add plugin: badgeos. See #1071