Added script to auto-update eigen git mirror