2010-01-20 Shingo W. Kagami Add run_servers.sh and mamefile.sh.