Add libpicosat.a to .gitignore