Integrate htools's gitignore in top-level one