Ignoring Sat.v12.suo

Modified gitignore to ignore sat.v12.suo. This should (hopefully) not
cause any problems.