Add specification coverage badge