Fixing documentation and adding coverage badge