add .gitignore and improved round robin script

but impr_roundrobin_to_sat.py is not optimal (very slow)