Add .gitignore and convert_to_sat/