Adds plugins: WP Badger and WP Badge Display. See #774