add a verbosity switch to mkgmap.py