This patch removes the preferences from the css properties db as they are not needed anymore. It also makes the generation process more robust when the properties-db.js has been deleted. Finally the comments have been updated to reflect the recent change in approach to the devtools-css-db. MozReview-Commit-ID: H31QGYTjy34