add badge (I hope to expire github cache, please...)