Complete proofs in Products.v
Remove generated html files from version control