doc: Set waffleio badge source to armadillojava

Signed-off-by: Sebastian Niemann <niemann@sra.uni-hannover.de>