doc/devguide: add badges