Add criterion report and hstags file to .gitignore