misc: add lib/*.log and lib/*.dot to .gitignore