added libminisat.so installation notes; gitignore changes