Add mention of another MySQL conversion tool.

contrib/mysql/README

@@ -3,3 +3,7 @@ Here are two conversion utilities for MySQL dumps.  Use the one you prefer.
 The most recent version of my2pg.pl can be obtained from:
 
 	http://ziet.zhitomir.ua/~fonin/code/
+
+Another tool, mysql2pgsql,  can be found at:
+
+	http://www.rot13.org/~dpavlin/sql.html