bug extracting readthedocs badges with regexp. Fixes #860, Fixes #857#863

dgarijo merged 2 commits intoKnowledgeCaptureAndDiscovery:devKnowledgeCaptureAndDiscovery/somef:devfrom

juanjemdIos:masterjuanjemdIos/somef:masterCopy head branch name to clipboard